všetky možnosti
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Zdrojový balík: otter (3.3f-1)

Odkazy pre otter

Zdroje Debian:

Správca:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
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

Ostatné balíky súvisiace s balíkom otter

  • build-depends
  • build-depends-indep

Download otter

SúborVeľkosť (v kB)kontrolný súčet MD5
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