Package - libghc-copilot-theorem-dev
Package: libghc-copilot-theorem-dev
apt-get install libghc-copilot-theorem-dev
apt-get install libghc-copilot-theorem-dev
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-dev_4.3-1_amd64.deb (Size: 575.9KiB)| Property | Value |
|---|---|
| Package | libghc-copilot-theorem-dev |
| Source | haskell-copilot-theorem |
| Version | 4.3-1 |
| Installed-Size | 5180 |
| Maintainer | Debian Haskell Group |
| Architecture | amd64 |
| Provides | libghc-copilot-theorem-dev-4.3-a24bd |
| Depends | libghc-base-dev-4.18.2.1-8e81e, libghc-bimap-dev-0.5.0-5df24, libghc-bv-sized-dev-1.0.5-ff96d, libghc-containers-dev-0.6.7-7a228, libghc-copilot-core-dev-4.3-0b871, libghc-copilot-prettyprinter-dev-4.3-5fe9d, libghc-data-default-dev-0.7.1.2-6e275, libghc-directory-dev-1.3.8.5-98ebe, libghc-libbf-dev-0.6.8-eccde, libghc-mtl-dev-2.3.1-f8119, libghc-panic-dev-0.4.0.1-c7f51, libghc-parameterized-utils-dev-2.1.9.0-f38a3, libghc-parsec-dev-3.1.16.1-a6416, libghc-pretty-dev-1.1.3.6-8f6c9, libghc-process-dev-1.6.19.0-48ee2, libghc-random-dev-1.2.1.2-67d7d, libghc-transformers-dev-0.6.1.0-5335d, libghc-what4-dev-1.5.1-73a43, libghc-xml-dev-1.3.14-8a6bc, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg), zlib1g (>= 1:1.1.4) |
| Description | k-induction for Copilot. |
| Description-md5 | 6c922b3e178550cdaae179191fb949ec |
| Homepage | https://copilot-language.github.io |
| Ghc-Package | copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz |
| Section | haskell |
| Priority | optional |
| Filename | pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-dev_4.3-1_amd64.deb |
| Size | 589720 |
| MD5sum | c3ddb88770e7dccbbed682c1bfab8ba9 |
| SHA256 | 64814d48de10298016843745f5c3443bda239a582e251d8e1aaa94e14fecc942 |
Files in package
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/PrettyPrint.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/PrettyPrint.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/Spec.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/Spec.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/Transform.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/Transform.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/Translate.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/IL/Translate.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/AST.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/AST.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/Output.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/Output.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/PrettyPrint.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/PrettyPrint.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/Prover.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/Prover.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/Translate.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Kind2/Translate.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Misc/Error.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Misc/Error.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Misc/SExpr.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Misc/SExpr.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Misc/Utils.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Misc/Utils.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prove.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prove.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/Backend.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/Backend.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/SMT.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/SMT.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/SMTIO.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/SMTIO.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/SMTLib.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/SMTLib.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/TPTP.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Prover/TPTP.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Tactics.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/Tactics.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Cast.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Cast.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Invariants.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Invariants.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Operators.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Operators.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/PrettyPrint.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/PrettyPrint.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Renaming.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Renaming.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Spec.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Spec.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Transform.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Transform.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Translate.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Translate.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Type.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/TransSys/Type.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/What4.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/What4.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/What4/Translate.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/Copilot/Theorem/What4/Translate.hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/copilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz/libHScopilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz.a
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHScopilot-theorem-4.3-D8Ry6dNnkFUKl3v9ayebfz-ghc9.6.6.so
- /usr/share/doc/libghc-copilot-theorem-dev/changelog.Debian.gz
- /usr/share/doc/libghc-copilot-theorem-dev/changelog.gz
- /usr/share/doc/libghc-copilot-theorem-dev/copyright
- /var/lib/ghc/package.conf.d/copilot-theorem-4.3.conf