ftp://130.251.19.2/ubuntu/pool/universe/o/otter/  direct

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/

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/