all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Source Package: otter (3.3f-1)

Links for otter

Debian Resources:

Maintainer:

The following binary packages are built from this source package:
formed
formula editor for first-order logic formulae
mace2
program na hľadanie konečných modelov výrazov prvého rádu
otter
resolution-style theorem prover

Other Packages Related to otter

  • build-depends
  • build-depends-indep

Download otter

FileSize (in kB)MD5 checksum
otter_3.3f-1.dsc 0.6 kB 28b271b45c5825e05504d7e5578591bc
otter_3.3f.orig.tar.gz 2,494.9 kB 795711b307cc1316e08d3d4f46c998c9
otter_3.3f-1.diff.gz 7.0 kB c882f71fa5e5d8e2cd444de216cc9cf6