ftp://ftp.kfki.hu/pub/linux/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/

742.32 KB  2006-01-28otter_3.3f-1_sparc.deb  info  browse  178 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/sparc/math/

754.19 KB  2006-01-27otter_3.3f-1_s390.deb  info  browse  155 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/s390/math/

754.11 KB  2006-01-27otter_3.3f-1_powerpc.deb  info  browse  181 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/powerpc/math/

765.29 KB  2006-01-27otter_3.3f-1_mipsel.deb  info  browse  156 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/mipsel/math/

764.41 KB  2006-01-27otter_3.3f-1_mips.deb  info  browse  158 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/mips/math/

843.26 KB  2006-01-28otter_3.3f-1_ia64.deb  info  browse  177 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/ia64/math/

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

742.16 KB  2006-02-02otter_3.3f-1_hurd-i386.deb  info  browse  173 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/hurd-i386/math/

763.05 KB  2006-01-27otter_3.3f-1_hppa.deb  info  browse  156 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/hppa/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/

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/

770.50 KB  2006-01-28otter_3.3f-1_alpha.deb  info  browse  164 mirrors
 otter - resolution-style theorem prover
 /Main/Debian/alpha/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
493.46 KB  2006-01-28mace2_3.3f-1_sparc.deb  177 mirrors
522.44 KB  2006-01-27mace2_3.3f-1_s390.deb  154 mirrors
523.32 KB  2006-01-27mace2_3.3f-1_powerpc.deb  180 mirrors
548.54 KB  2006-01-27mace2_3.3f-1_mipsel.deb  155 mirrors
547.10 KB  2006-01-27mace2_3.3f-1_mips.deb  157 mirrors
728.05 KB  2006-01-28mace2_3.3f-1_ia64.deb  176 mirrors
496.39 KB  2006-01-03mace2_3.3f-1_i386.deb  279+ mirrors
493.37 KB  2006-02-02mace2_3.3f-1_hurd-i386.deb  172 mirrors
541.60 KB  2006-01-27mace2_3.3f-1_hppa.deb  155 mirrors
503.51 KB  2007-02-07mace2_3.3f-1_armel.deb  216+ 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
561.11 KB  2006-01-28mace2_3.3f-1_alpha.deb  163 mirrors
154.02 KB  2006-01-28formed_3.3f-1_sparc.deb  info  browse  178 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/sparc/math/

168.50 KB  2006-01-27formed_3.3f-1_s390.deb  info  browse  155 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/s390/math/

168.36 KB  2006-01-27formed_3.3f-1_powerpc.deb  info  browse  181 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/powerpc/math/

182.57 KB  2006-01-27formed_3.3f-1_mipsel.deb  info  browse  156 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/mipsel/math/

181.82 KB  2006-01-27formed_3.3f-1_mips.deb  info  browse  158 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/mips/math/

267.21 KB  2006-01-28formed_3.3f-1_ia64.deb  info  browse  177 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/ia64/math/

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/

154.38 KB  2006-02-02formed_3.3f-1_hurd-i386.deb  info  browse  173 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/hurd-i386/math/

179.54 KB  2006-01-27formed_3.3f-1_hppa.deb  info  browse  156 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/hppa/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/

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/

188.47 KB  2006-01-28formed_3.3f-1_alpha.deb  info  browse  164 mirrors
 formed - formula editor for first-order logic formulae
 /Main/Debian/alpha/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-08otter_3.3f-1_kfreebsd-amd64.deb  154 mirrors
541.29 KB  2009-06-08mace2_3.3f-1_kfreebsd-amd64.deb  154 mirrors
177.43 KB  2009-06-08formed_3.3f-1_kfreebsd-amd64.deb  154 mirrors