0

So I'm experimenting with Ubuntu 12.04 after using ArchLinux for the last 2 years or so. I'm looking for an Ubuntu package for Alloy Analyzer and can't seem to find one.

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?

Thanks

2 Answers 2

1

I believe the Arch package may be in the AUR, does Ubuntu have an equivalent?

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 :)

1
  • Ah, thanks for the info about PPAs I wasn't aware of them. :)
    – asm
    May 19, 2012 at 17:56
1

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

1
  • 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.
    – asm
    May 18, 2012 at 23:44

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .