/control.
This package is 3.8 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/d/debian-science/science-logic_1.4ubuntu7_all.deb
.
View its full control file here:
debian/control.
Debian Science Logic packages
This package depends on:
science-tasks (= 1.4ubuntu7), science-config (= 1.4ubuntu7).
This package recommends:
agda, alt-ergo, boolector, clasp, coala, coinor-cbc, coq, cvc3, depqbf, gringo, hol-light, hol88, lbt, mace2, maria, maude, minisat+, mona, otter, picosat, proofgeneral, prover9, sat4j, spass.
This package suggests:
matita.
This package does not conflict with any other package.
science-logic 1.4ubuntu7 is in ubuntu - xenial / universe. This package's architecture is: architectureless.
This package will not be indexed since your user agent reports your browser is a bot.