libghc-copilot-theorem-prof (4.7.1-1)

2 versions available in ubuntu/stonking/universe/arm64

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
arm64
Section
universe/haskell
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
6.8 kB
Size expected
739 kB
Size actual
739 kB
Size match

Dependencies

Required package dependencies

  • libghc-base-prof-4.20.2.0-08385
  • libghc-bimap-prof-0.5.0-1a3fd
  • libghc-bv-sized-prof-1.0.6-71ce5
  • libghc-containers-prof-0.7-1229a
  • libghc-copilot-core-prof-4.7.1-5cec3
  • libghc-copilot-prettyprinter-prof-4.7.1-71ac8
  • libghc-copilot-theorem-dev (= 4.7.1-1)
  • libghc-data-default-prof-0.8.0.1-bbefc
  • libghc-directory-prof-1.3.8.5-b904d
  • libghc-fp-ieee-prof-0.1.0.6-695ba
  • libghc-libbf-prof-0.6.8-52957
  • libghc-mtl-prof-2.3.1-edf82
  • libghc-panic-prof-0.4.0.1-47a6a
  • libghc-parameterized-utils-prof-2.1.11.0-32458
  • libghc-pretty-prof-1.1.3.6-bde4b
  • libghc-process-prof-1.6.26.1-c4238
  • libghc-random-prof-1.2.1.3-b84dd
  • libghc-transformers-prof-0.6.1.1-26140
  • libghc-what4-prof-1.6.3-f0e22
  • libghc-xml-prof-1.3.14-f679d

Suggested packages

Recommended additional packages

  • None

Description

k-induction for Copilot.; profiling libraries

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5d7385d47…6a244f5f
SHA-1c341217a…d0c45b10
SHA-256297cfc16…4c27131c
SHA-512ca219c51…a507b55b

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.10.3-inplace
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/IL
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/IL/PrettyPrint.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/IL/Spec.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/IL/Transform.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/IL/Translate.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/IL.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2/AST.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2/Output.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2/PrettyPrint.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2/Prover.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2/Translate.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Kind2.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Misc
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Misc/Error.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Misc/SExpr.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Misc/Utils.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prove.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prover
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prover/Backend.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prover/SMT.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prover/SMTIO.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prover/SMTLib.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Prover/TPTP.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/Tactics.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Cast.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Invariants.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Operators.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/PrettyPrint.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Renaming.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Spec.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Transform.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Translate.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys/Type.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/TransSys.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/What4
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/What4/Translate.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem/What4.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/Copilot/Theorem.p_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn/libHScopilot-theorem-4.7.1-EiQ5XsE7ic3IZ5KqJ4xjGn_p.a
usr/share
usr/share/doc
usr/share/doc/libghc-copilot-theorem-prof
usr/share/doc/libghc-copilot-theorem-prof/copyright
usr/share/doc/libghc-copilot-theorem-prof/changelog.Debian.gz