Take the 2-minute tour ×


I've a hard time believing that the Arch package repositories are more complete than the Ubuntu repositories are so I assume I'm just being a dummy. I can't find it through the software center or apt-cache search though. Any suggestions? I believe the Arch package may be in the AUR, does Ubuntu have an equivalent?


share|improve this question

2 Answers 2

up vote 1 down vote accepted


The equivalent for Arch User Repositories" in Ubuntu are called PPAs (personal package archives). See https://launchpad.net/ubuntu/+ppas for more information.

That said, I didn't find any PPAs containing Alloy Analyzer. Perhaps the reason why is because all "installing" it require is downloading and running a JAR file?

The only update/check you may require is a simple wget to check for and download a newer version:

wget -N http://alloy.mit.edu/alloy/downloads/alloy4.jar

every once in a while. Or make it a cron job if you wish :)

share|improve this answer
Ah, thanks for the info about PPAs I wasn't aware of them. :) –  Andrew Myers May 19 '12 at 17:56

Maybe this is a stupid suggestion, but did you try downloading the jar file and running it?

share|improve this answer
Well, I can do that as a last resort. I want it in the package manager though so I don't have to track updates etc. –  Andrew Myers May 18 '12 at 23:44

Your Answer


