72012-09-06 07:08:20ClintonEbadioutdated, idea is worthwhile...62008-07-07 04:28:18localhostconverted to 1.6 markup52005-08-22 06:07:14new.hcoop.net42005-08-22 06:06:50new.hcoop.net32005-08-12 10:59:50AdamChlipalaAdd SML/NJ & smlweb22005-08-08 19:18:25new.hcoop.net12005-08-07 06:20:03AdamChlipalaWhenever possible, we like to use 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.

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 Co-op Hosting Tools *AdamChlipala See CVS Standard ML of New Jersey AdamChlipala /usr/local/smlnj Standard ML web tools *AdamChlipala /usr/local/share/mlt, /usr/local/share/smlsql Ferm DavorOcelic /usr/local CategoryOutdated CategorySystemAdministration