libcoq-mtac2 (1.4+8.20-1build9)

Details

Core information at a glance
Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: coq-mtac2
Architecture: amd64
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>
Size & integrity

Byte sizes and integrity verification
Installed size: 3.7 kB
Size expected: 891.5 kB
Size actual: 891.5 kB
Size match
Dependencies

Required package dependencies
libcoq-stdlib-83lq0
libcoq-unicoq-p0rq7
Suggested packages

Recommended additional packages
None
Description

Mtac2 tactic language for Coq
Homepage Download .deb
Checksums

Hash values and integrity verification status
Type	Expected	Actual
MD5	86d50639…edfc1b6a	86d50639…edfc1b6a
SHA-1	1b5ed58c…9442333f	1b5ed58c…9442333f
SHA-256	7a5c091e…ad3b4afe	7a5c091e…ad3b4afe
SHA-512	bf442652…7bedd9cd	bf442652…7bedd9cd
Files and directories included
.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Base.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Base.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Base.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/DecomposeApp.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/DecomposeApp.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/DecomposeApp.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/MetaCoqPlugin.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Mtac2.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Mtac2.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Mtac2.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Pattern.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Pattern.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/Pattern.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/Abstract.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/Abstract.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/Abstract.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/DepDestruct.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/DepDestruct.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/DepDestruct.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/StaticApply.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/StaticApply.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/StaticApply.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/SumRun.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/SumRun.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/SumRun.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/Transport.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/Transport.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/ideas/Transport.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Case.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Case.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Case.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Dyn.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Dyn.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Dyn.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Exceptions.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Exceptions.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Exceptions.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Goals.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Goals.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Goals.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Lift.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Lift.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Lift.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/M.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/M.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/M.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/MTele.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/MTele.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/MTele.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Name.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Name.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Name.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Reduction.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Reduction.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Reduction.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Sorts.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Sorts.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Sorts.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Tm_kind.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Tm_kind.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Tm_kind.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Unification.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Unification.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/intf/Unification.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Datatypes.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Datatypes.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Datatypes.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/List.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/List.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/List.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Logic.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Logic.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Logic.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Specif.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Specif.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Specif.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Utils.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Utils.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/lib/Utils.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/Exhaustive.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/Exhaustive.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/Exhaustive.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MFix.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MFix.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MFix.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MFixDef.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MFixDef.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MFixDef.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MTeleMatch.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MTeleMatch.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MTeleMatch.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/IntroPatt.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/IntroPatt.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/IntroPatt.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/Tactics.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/Tactics.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/Tactics.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/TacticsBase.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/TacticsBase.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/TacticsBase.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/Ttactics.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/Ttactics.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/Mtac2/tactics/Ttactics.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2/META
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2/MetaCoqPlugin.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2/MetaCoqPlugin.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2/MetaCoqPlugin.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2/MetaCoqPlugin.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-mtac2/metaCoqInstr.cmi
usr/share
usr/share/doc
usr/share/doc/libcoq-mtac2
usr/share/doc/libcoq-mtac2/changelog.Debian.gz
usr/share/doc/libcoq-mtac2/copyright
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/libcoq-mtac2
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-mtac2.checksum