welcome: please sign in

The following 105 words could not be found in the dictionary of 7 words (including 7 LocalSpellingWords) and are highlighted below:
Adam   Administration   all   All   almost   and   apt   automated   Base   be   before   bin   bonus   by   Category   cgi   Chlipala   Co   cvs   Davor   debian   details   developer   directories   doc   documented   extra   ferm   Ferm   handles   have   hcoop   Hosting   However   howto   http   in   including   indicates   install   installed   is   Jersey   like   link   local   maintain   maintainer   Maintainers   manage   manuals   means   member   mentioned   mlt   name   Name   need   net   New   Notes   occasionally   Ocelic   of   on   op   org   other   Outdated   page   patches   possible   question   security   See   sf   share   should   smlnj   smlsql   smlweb   software   sourceforge   Standard   star   such   System   Table   that   the   This   this   to   tools   Tools   upgrades   use   user   usr   viewcvs   we   web   Whenever   with   www  

Clear message
Edit

InstalledSoftware

Whenever 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.

1. 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

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

InstalledSoftware (last edited 2012-09-06 07:08:20 by ClintonEbadi)