Package - libghc-copilot-theorem-doc

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-doc_4.3-1_all.deb (Size: 224.2KiB)

Property	Value
Package	libghc-copilot-theorem-doc
Source	haskell-copilot-theorem
Version	4.3-1
Installed-Size	4642
Maintainer	Debian Haskell Group
Architecture	all
Depends	haddock-interface-42
Recommends	ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-doc, libghc-copilot-prettyprinter-doc, libghc-copilot-theorem-dev, libghc-data-default-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-doc, libghc-xml-doc, libjs-mathjax
Suggests	libghc-copilot-theorem-prof
Description	k-induction for Copilot.; documentation
Description-md5	00a10fc284b030084d3270da9fc69c55
Homepage	https://copilot-language.github.io
Section	doc
Priority	optional
Filename	pool/main/h/haskell-copilot-theorem/libghc-copilot-theorem-doc_4.3-1_all.deb
Size	229600
MD5sum	666db6282e2cb651ec56901b1e041f99
SHA256	652d76408b662092330efc864bccdbd476f7b7d72c898c58ba4afc5fcf0132cf

Files in package

• /usr/lib/ghc-doc/haddock/copilot-theorem-4.3/copilot-theorem.haddock
• /usr/lib/ghc-doc/hoogle/libghc-copilot-theorem-doc.txt
• /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/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/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