ftp://ftp.uni-kassel.de/Mirrors/archive.ubuntu.com/ubuntu/pool/universe/o/otter/  direct

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

740.41 KB  2006-05-08otter_3.3f-1_i386.deb  info  browse  178 mirrors
 otter - resolution-style theorem prover
 /Main/Ubuntu/i386/math/

760.59 KB  2006-05-08otter_3.3f-1_amd64.deb  info  browse  173 mirrors
 otter - resolution-style theorem prover
 /Main/Ubuntu/amd64/math/

589 B  2006-05-03otter_3.3f-1.dsc  424+ mirrors
6.97 KB  2006-05-03otter_3.3f-1.diff.gz  426+ mirrors
488.87 KB  2006-05-08mace2_3.3f-1_i386.deb  177 mirrors
532.25 KB  2006-05-08mace2_3.3f-1_amd64.deb  172 mirrors
151.52 KB  2006-05-08formed_3.3f-1_i386.deb  info  browse  178 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Ubuntu/i386/math/

174.70 KB  2006-05-08formed_3.3f-1_amd64.deb  info  browse  173 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Ubuntu/amd64/math/