ftp://130.251.19.2/debian/pool/main/o/otter/  direct

2.44 MB  2006-01-03otter_3.3f.orig.tar.gz  info  browse  426+ mirrors
 otter_3.3f.orig.tar.gz
 /Main/Debian/Other/

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

743.73 KB  2006-02-02otter_3.3f-1_arm.deb  info  browse  163 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/arm/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/

589 B  2006-01-03otter_3.3f-1.dsc  424+ mirrors
6.97 KB  2006-01-03otter_3.3f-1.diff.gz  426+ mirrors
496.39 KB  2006-01-03mace2_3.3f-1_i386.deb  279+ mirrors
496.57 KB  2006-02-02mace2_3.3f-1_arm.deb  162 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/

157.21 KB  2006-02-02formed_3.3f-1_arm.deb  info  browse  163 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/arm/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/