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