Index of (formerly) notable things
| debian | Debian packages useful for DICE |
| pub | Various public things |
| moz | Useful things for firefox |
| /blog.inf.ed.ac.uk/gdutton | Computing Blog |
| gdutton/wiki | personal wiki |
| cgi | CGI Scripts: |
|---|---|
| devmeet | Next development meeting |
| opmeet | Next operational meeting |
| yumtoupdaterpms | YumToUpdaterpms |
| /wiki.inf.ed.ac.uk/DICE/PackageSearchProcedure | AptToPkgList (not a web tool) |