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