Theory
- Theory-tag-3.0-7: Theory workgroup tag file
- Theory-tree-lts42-1: The Theory workgroup tag and files
- acroread-5.010-1: Adobe Acrobat(R) Reader
- j2sdk-1.4.2_10-fcs: Java(TM) 2 Software Development Kit, Standard Edition
- upsupdbootstrap-4.1-1: UPS/UPD bootstrap
- zz_a2ps_stdout-1.0-3: This will make a2ps default to output on stdout instead of printing.
- zz_tex_tweaks-1.0-1: This will make some tweaks to the TeX configs.