Hey Sean,
We're updating to Infernal 1.1.3 for the Debian package and I saw that there is a section on
http://eddylab.org/infernal/ about package managers.
The command would be `sudo apt-get install infernal infernal-doc`
Cheers and thanks for releasing open source scientific software!