libghc-copilot-theorem-doc (4.6.1-1)
3 versions available in kali/kali-last-snapshot/main/i386
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
- i386
- Section
- doc
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 4.9 kB
- Size expected
- 232 kB
- Size actual
- 232 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 | 40b72089…48796c39 | |
| SHA-1 | b1ec8491…8922aeb8 | |
| SHA-256 | 8d268a99…4df540ef | |
| SHA-512 | 243405e8…ff85f11b |
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.6.1 usr/lib/ghc-doc/haddock/copilot-theorem-4.6.1/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/changelog.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