libghc-copilot-theorem-doc (4.7.1-1)
2 versions available in ubuntu/stonking/universe/s390x
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
- s390x
- Section
- universe/doc
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 4.6 kB
- Size expected
- 204.1 kB
- Size actual
- 204.1 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 | 6914686a…b33711c8 | |
| SHA-1 | e0e07139…713c8b10 | |
| SHA-256 | ab03b294…a101a501 | |
| SHA-512 | b34ef3f4…4dbe85f7 |
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.1 usr/lib/ghc-doc/haddock/copilot-theorem-4.7.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/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