Theory
- Theory-tag-3.0-7: Theory workgroup tag file
- Theory-tree-lts47-1: The Theory workgroup tag and files
- 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.