libghc-copilot-theorem-prof (4.6-1)
3 versions available in kali/kali-last-snapshot/main/arm64
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- haskell-copilot-theorem
- Architecture
- arm64
- Section
- haskell
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 6.5 kB
- Size expected
- 617.9 kB
- Size actual
- 617.9 kB
- Size match
Dependencies
Required package dependencies
- libghc-base-prof-4.18.2.1-75247
- libghc-bimap-prof-0.5.0-c50de
- libghc-bv-sized-prof-1.0.5-a7fba
- libghc-containers-prof-0.6.7-3eda8
- libghc-copilot-core-prof-4.6-ceb10
- libghc-copilot-prettyprinter-prof-4.6-13526
- libghc-copilot-theorem-dev (= 4.6-1)
- libghc-data-default-prof-0.7.1.2-46324
- libghc-directory-prof-1.3.8.5-71f9f
- libghc-libbf-prof-0.6.8-38e9c
- libghc-mtl-prof-2.3.1-f8119
- libghc-panic-prof-0.4.0.1-193af
- libghc-parameterized-utils-prof-2.1.9.0-ee300
- libghc-pretty-prof-1.1.3.6-21c21
- libghc-process-prof-1.6.19.0-220a3
- libghc-random-prof-1.2.1.2-8af52
- libghc-transformers-prof-0.6.1.0-5335d
- libghc-what4-prof-1.5.1-7c8f9
- libghc-xml-prof-1.3.14-88ab2
Suggested packages
Recommended additional packages
- None
Description
k-induction for Copilot.; profiling libraries
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 1f749d0f…bedb3479 | |
| SHA-1 | 7439a787…2b9ff2fd | |
| SHA-256 | a5ecb499…3301b913 | |
| SHA-512 | 1fcc0215…f530eab8 |
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/aarch64-linux-ghc-9.6.6 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/IL usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/IL/PrettyPrint.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/IL/Spec.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/IL/Transform.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/IL/Translate.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/IL.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2/AST.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2/Output.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2/PrettyPrint.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2/Prover.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2/Translate.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Kind2.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Misc usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Misc/Error.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Misc/SExpr.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Misc/Utils.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prove.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prover usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prover/Backend.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prover/SMT.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prover/SMTIO.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prover/SMTLib.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Prover/TPTP.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/Tactics.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Cast.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Invariants.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Operators.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/PrettyPrint.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Renaming.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Spec.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Transform.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Translate.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys/Type.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/TransSys.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/What4 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/What4/Translate.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem/What4.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/Copilot/Theorem.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T/libHScopilot-theorem-4.6-FMeg6oOv9AEEGg31D7IM8T_p.a usr/share usr/share/doc usr/share/doc/libghc-copilot-theorem-prof 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