Question

1

Ubuntu package for alloy analyzer?

rated 0 times [ 1] [ 0] / answers: 1 / hits: 1136 / 1 Year ago, sun, january 29, 2023, 5:57:00

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

Answers

Only authorized users can answer the question. Please sign in first, or register a free account.

ongdiligenc

Add To Favorites

Follow

Total Points: 452

Total Questions: 111

Total Answers: 107

Location: Ukraine

Member since Sun, Dec 13, 2020

3 Years ago

answered 1 Year ago rhaeams · Accepted Answer

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