libghc-copilot-theorem-dev (4.7-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- haskell-copilot-theorem
- Architecture
- s390x
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 9.8 kB
- Size expected
- 941.6 kB
- Size actual
- 941.6 kB
- Size match
Dependencies
Required package dependencies
- libghc-base-dev-4.20.2.0-e941f
- libghc-bimap-dev-0.5.0-1cd45
- libghc-bv-sized-dev-1.0.6-8512d
- libghc-containers-dev-0.7-35521
- libghc-copilot-core-dev-4.7-de957
- libghc-copilot-prettyprinter-dev-4.7-7c75c
- libghc-data-default-dev-0.8.0.1-933ef
- libghc-directory-dev-1.3.8.5-c969f
- libghc-libbf-dev-0.6.8-5faf1
- libghc-mtl-dev-2.3.1-edf82
- libghc-panic-dev-0.4.0.1-0d4cc
- libghc-parameterized-utils-dev-2.1.11.0-c0d5d
- libghc-pretty-dev-1.1.3.6-83cd7
- libghc-process-dev-1.6.26.1-7e17b
- libghc-random-dev-1.2.1.3-cb450
- libghc-transformers-dev-0.6.1.1-26140
- libghc-what4-dev-1.6.3-5fa1e
- libghc-xml-dev-1.3.14-4e2e5
- libc6 (>= 2.2)
- libgmp10 (>= 2:6.3.0+dfsg)
- zlib1g (>= 1:1.1.4)
Suggested packages
Recommended additional packages
- None
Description
k-induction for Copilot.
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | c9ac193e…c4d6e849 | |
| SHA-1 | 03d451d7…8dfad0ac | |
| SHA-256 | 321bd8bf…e71f3b8b | |
| SHA-512 | 0c6b7aff…694cdd2a |
Contents
Files and directories included
. usr usr/lib usr/lib/haskell-packages usr/lib/haskell-packages/ghc usr/lib/haskell-packages/ghc/lib usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/PrettyPrint.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/PrettyPrint.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/Spec.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/Transform.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/Transform.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/Translate.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL/Translate.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/IL.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2 usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/AST.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/AST.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/Output.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/Output.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/PrettyPrint.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/PrettyPrint.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/Prover.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/Prover.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/Translate.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2/Translate.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Kind2.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc/Error.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc/Error.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc/SExpr.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc/SExpr.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc/Utils.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Misc/Utils.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prove.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prove.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/Backend.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/SMT.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/SMT.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/SMTIO.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/SMTIO.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/SMTLib.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/SMTLib.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/TPTP.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Prover/TPTP.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Tactics.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/Tactics.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Cast.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Cast.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Invariants.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Invariants.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Operators.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Operators.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/PrettyPrint.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/PrettyPrint.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Renaming.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Renaming.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Spec.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Transform.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Transform.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Translate.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Translate.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Type.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys/Type.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/TransSys.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/What4 usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/What4/Translate.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/What4/Translate.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/What4.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem/What4.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/Copilot/Theorem.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/copilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic/libHScopilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic.a usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/libHScopilot-theorem-4.7-FwuR7jDsw6CFUsiJ0kC8Ic-ghc9.10.3.so usr/share usr/share/doc usr/share/doc/libghc-copilot-theorem-dev usr/share/doc/libghc-copilot-theorem-dev/changelog.Debian.gz usr/share/doc/libghc-copilot-theorem-dev/copyright var var/lib var/lib/ghc var/lib/ghc/package.conf.d var/lib/ghc/package.conf.d/copilot-theorem-4.7.conf