libghc-copilot-theorem-dev (4.6.1-1)

3 versions available in kali/kali-last-snapshot/main/armhf

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
armhf
Section
haskell
Priority
optional
Maintainer
Debian Haskell Group <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
6.4 kB
Size expected
699.1 kB
Size actual
699.1 kB
Size match

Dependencies

Required package dependencies

  • libghc-base-dev-4.20.2.0-40f5b
  • libghc-bimap-dev-0.5.0-d158d
  • libghc-bv-sized-dev-1.0.6-6ccfd
  • libghc-containers-dev-0.7-1bb97
  • libghc-copilot-core-dev-4.6.1-ef6dc
  • libghc-copilot-prettyprinter-dev-4.6.1-539ac
  • libghc-data-default-dev-0.8.0.1-deb95
  • libghc-directory-dev-1.3.8.5-ed84c
  • libghc-libbf-dev-0.6.8-40b3f
  • libghc-mtl-dev-2.3.1-0785e
  • libghc-panic-dev-0.4.0.1-a6079
  • libghc-parameterized-utils-dev-2.1.11.0-21d6f
  • libghc-pretty-dev-1.1.3.6-931fb
  • libghc-process-dev-1.6.26.1-97ff5
  • libghc-random-dev-1.2.1.3-167d9
  • libghc-transformers-dev-0.6.1.1-3bf29
  • libghc-what4-dev-1.6.3-41369
  • libghc-xml-dev-1.3.14-b08d3
  • libc6 (>= 2.4)
  • libgmp10 (>= 2:6.3.0+dfsg)
  • zlib1g (>= 1:1.1.4)

Suggested packages

Recommended additional packages

  • None

Description

k-induction for Copilot.

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD52fa9ca1f…3d37c0a8
SHA-195cbda2c…36848108
SHA-256b81d6d20…98bb869b
SHA-512aa6ffd59…60e701c3

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/arm-linux-ghc-9.10.3-inplace
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/PrettyPrint.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/PrettyPrint.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/Spec.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/Spec.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/Transform.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/Transform.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/Translate.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL/Translate.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/IL.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/AST.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/AST.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/Output.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/Output.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/PrettyPrint.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/PrettyPrint.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/Prover.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/Prover.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/Translate.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2/Translate.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Kind2.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc/Error.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc/Error.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc/SExpr.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc/SExpr.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc/Utils.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Misc/Utils.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prove.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prove.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/Backend.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/Backend.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/SMT.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/SMT.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/SMTIO.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/SMTIO.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/SMTLib.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/SMTLib.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/TPTP.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Prover/TPTP.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Tactics.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/Tactics.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Cast.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Cast.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Invariants.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Invariants.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Operators.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Operators.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/PrettyPrint.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/PrettyPrint.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Renaming.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Renaming.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Spec.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Spec.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Transform.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Transform.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Translate.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Translate.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Type.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys/Type.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/TransSys.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/What4
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/What4/Translate.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/What4/Translate.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/What4.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem/What4.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem.dyn_hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/Copilot/Theorem.hi
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf/libHScopilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf.a
usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/libHScopilot-theorem-4.6.1-LSvFQ4BelQK4sh35kIcjvf-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/changelog.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.6.1.conf