ftp://ftp.uni-magdeburg.de/pub/mirror/linux/debian/pool/main/o/otter/  direct

743.72 KB  2006-01-03otter_3.3f-1_i386.deb  info  browse  280+ mirrors
 otter - resolution-style theorem prover
 /Main/Debian/i386/math/

759.07 KB  2006-01-27otter_3.3f-1_amd64.deb  info  browse  272+ mirrors
 otter - resolution-style theorem prover
 /Main/Debian/amd64/math/

496.39 KB  2006-01-03mace2_3.3f-1_i386.deb  279+ mirrors
529.78 KB  2006-01-27mace2_3.3f-1_amd64.deb  271+ mirrors
153.67 KB  2006-01-03formed_3.3f-1_i386.deb  info  browse  280+ mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/i386/math/

173.18 KB  2006-01-27formed_3.3f-1_amd64.deb  info  browse  272+ mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/amd64/math/

153.18 KB  2009-06-14formed_3.3f-1_kfreebsd-i386.deb  148 mirrors
492.72 KB  2009-06-14mace2_3.3f-1_kfreebsd-i386.deb  148 mirrors
741.65 KB  2009-06-14otter_3.3f-1_kfreebsd-i386.deb  148 mirrors
762.80 KB  2009-06-07otter_3.3f-1_kfreebsd-amd64.deb  154 mirrors
541.29 KB  2009-06-07mace2_3.3f-1_kfreebsd-amd64.deb  154 mirrors
177.43 KB  2009-06-07formed_3.3f-1_kfreebsd-amd64.deb  154 mirrors