Package - science-logic
Primary informations
Download package: http://deb.debian.org/debian/pool/main/d/debian-science/science-logic_1.15_all.deb (Size: 10.2KiB)| Property | Value |
|---|---|
| Package | science-logic |
| Source | debian-science |
| Version | 1.15 |
| Installed-Size | 30 |
| Maintainer | Debian Science Team |
| Architecture | all |
| Depends | science-config (= 1.15), science-tasks (= 1.15) |
| Recommends | agda, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc4, depqbf, drat-trim, gringo, hol-light, hol88, kissat, lbt, maria, maude, minisat+, mona, picosat, proofgeneral, sat4j, spass, toulbar2, why3, z3 |
| Suggests | alt-ergo, coinor-libcoinmp-dev, prover9 |
| Description | Debian Science Logic packages |
| Description-md5 | 80226a1f4eed77145a13176d0af8c5dc |
| Homepage | https://wiki.debian.org/DebianScience/ |
| Section | metapackages |
| Priority | optional |
| Filename | pool/main/d/debian-science/science-logic_1.15_all.deb |
| Size | 10468 |
| MD5sum | e992129832b89071551dc04b50907f9e |
| SHA256 | eaab496a0fba5dbfabd37e5c77f9fac413edb381b04ddd411df7d955f382dde8 |
Files in package
- /usr/bin/science-logic
- /usr/share/blends/tasks/science/logic
- /usr/share/doc/science-logic/README.Debian
- /usr/share/doc/science-logic/changelog.gz
- /usr/share/doc/science-logic/copyright
- /usr/share/man/man1/science-logic.1.gz