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?