ftp://ftp.et-inf.fho-emden.de/pub/Mirrors/ftp.debian.org/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/

747.08 KB  2007-02-07otter_3.3f-1_armel.deb  info  browse  217+ mirrors
 otter - resolution-style theorem prover
 /Main/Debian/armel/math/

496.39 KB  2006-01-03mace2_3.3f-1_i386.deb  279+ mirrors
503.51 KB  2007-02-07mace2_3.3f-1_armel.deb  216+ 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/

159.18 KB  2007-02-07formed_3.3f-1_armel.deb  info  browse  217+ mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/armel/math/