libghc-copilot-theorem-doc (4.7-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- haskell-copilot-theorem
- Architecture
- amd64
- Section
- universe/doc
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 4.6 kB
- Size expected
- 203.5 kB
- Size actual
- 203.5 kB
- Size match
Description
k-induction for Copilot.; documentation
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 9e8fd11a…f14f9002 | |
| SHA-1 | 61dd153e…c9d48910 | |
| SHA-256 | 8a58bdf4…6cc4d7eb | |
| SHA-512 | 1ca8817b…2402a2fc |
Contents
Files and directories included
. usr usr/lib usr/lib/ghc-doc usr/lib/ghc-doc/haddock usr/lib/ghc-doc/haddock/copilot-theorem-4.7 usr/lib/ghc-doc/haddock/copilot-theorem-4.7/copilot-theorem.haddock usr/lib/ghc-doc/hoogle usr/share usr/share/doc usr/share/doc/libghc-copilot-theorem-doc usr/share/doc/libghc-copilot-theorem-doc/changelog.Debian.gz usr/share/doc/libghc-copilot-theorem-doc/copyright usr/share/doc/libghc-copilot-theorem-doc/html usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Kind2-Prover.html usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Kind2.html usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Prove.html usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Prover-SMT.html usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-What4.html usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem.html usr/share/doc/libghc-copilot-theorem-doc/html/copilot-theorem.txt usr/share/doc/libghc-copilot-theorem-doc/html/doc-index.html usr/share/doc/libghc-copilot-theorem-doc/html/haddock-bundle.min.js usr/share/doc/libghc-copilot-theorem-doc/html/index.html usr/share/doc/libghc-copilot-theorem-doc/html/linuwial.css usr/share/doc/libghc-copilot-theorem-doc/html/meta.json usr/share/doc/libghc-copilot-theorem-doc/html/quick-jump.css usr/share/doc/libghc-copilot-theorem-doc/html/src usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.PrettyPrint.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Spec.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Transform.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Translate.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.AST.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Output.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.PrettyPrint.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Prover.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Translate.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.Error.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.SExpr.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.Utils.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prove.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.Backend.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMT.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMTIO.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMTLib.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.TPTP.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Tactics.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Cast.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Invariants.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Operators.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.PrettyPrint.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Renaming.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Spec.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Transform.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Translate.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Type.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.What4.Translate.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.What4.html usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.html usr/share/doc/libghc-copilot-theorem-doc/html/src/highlight.js usr/share/doc/libghc-copilot-theorem-doc/html/src/style.css usr/share/doc/libghc-copilot-theorem-doc/html/synopsis.png usr/lib/ghc-doc/hoogle/libghc-copilot-theorem-doc.txt