Whenever possible, we like to use [[http://www.debian.org/doc/user-manuals#apt-howto|Debian's apt]] to manage the software that we have installed. This handles almost all details, including automated security patches and other upgrades. However, we occasionally need to install and maintain software by other means. All such software should be documented on this page. = Table of software = A star before a maintainer name indicates the extra bonus that the mentioned member is a developer of the software in question. || '''Name''' (with link) || '''Maintainers''' || '''Base directories''' || '''Notes''' || || [[http://hcoop.sourceforge.net/|Co-op Hosting Tools]] || *AdamChlipala || See [[http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/hcoop|CVS]] || || [[http://www.smlnj.org/|Standard ML of New Jersey]] || AdamChlipala || `/usr/local/smlnj` || || [[http://smlweb.sourceforge.net/|Standard ML web tools]] || *AdamChlipala || `/usr/local/share/mlt`, `/usr/local/share/smlsql` || || [[http://ferm.sf.net/|Ferm]] || DavorOcelic || `/usr/local` || ---- CategoryOutdated CategorySystemAdministration