/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.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 2.3 KB |
prerm
|
text/x-shellscript | N/A | N/A | 2.1 KB |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/science-logic
|
root:root | 0o777 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/blends/
|
root:root | 0o755 | ||
/usr/share/blends/tasks/
|
root:root | 0o755 | ||
/usr/share/blends/tasks/science/
|
root:root | 0o755 | ||
/usr/share/blends/tasks/science/logic
|
text/plain | root:root | 0o644 | 6 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/science-logic/
|
root:root | 0o755 | ||
/usr/share/doc/science-logic/changelog.gz
|
root:root | 0o777 | ||
/usr/share/doc/science-logic/copyright
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/science-logic/README.Debian
|
text/plain | root:root | 0o644 | 946 bytes |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/science-logic.1.gz
|
root:root | 0o777 |