Package - libcoq-mtac2
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-mtac2/libcoq-mtac2_1.4+8.20-1+b4_amd64.deb (Size: 775.6KiB)| Property | Value |
|---|---|
| Package | libcoq-mtac2 |
| Source | coq-mtac2 (1.4+8.20-1) |
| Version | 1.4+8.20-1+b4 |
| Installed-Size | 3667 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-mtac2-yc2c3 |
| Depends | libcoq-stdlib-68yx1, libcoq-unicoq-6k894 |
| Description | Mtac2 tactic language for Coq |
| Description-md5 | 6841300aeafd53fddd1be8b77fa1bba7 |
| Homepage | https://github.com/Mtac2/Mtac2 |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-mtac2/libcoq-mtac2_1.4+8.20-1+b4_amd64.deb |
| Size | 794248 |
| MD5sum | 8141feda7801186a13ba5f720415d8b7 |
| SHA256 | 70d2fcf851020e05870d382688c76ef6039dff3dd7744b0971163b9ce6c6ae15 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/metaCoqInstr.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Base.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Base.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Base.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/DecomposeApp.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/DecomposeApp.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/DecomposeApp.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/MetaCoqPlugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Mtac2.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Mtac2.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Mtac2.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Pattern.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Pattern.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Pattern.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Abstract.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Abstract.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Abstract.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/DepDestruct.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/DepDestruct.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/DepDestruct.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/StaticApply.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/StaticApply.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/StaticApply.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SumRun.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SumRun.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SumRun.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Transport.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Transport.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Transport.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Case.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Case.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Case.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Dyn.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Dyn.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Dyn.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Exceptions.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Exceptions.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Exceptions.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Goals.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Goals.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Goals.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Lift.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Lift.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Lift.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/M.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/M.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/M.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/MTele.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/MTele.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/MTele.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Name.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Name.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Name.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Reduction.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Reduction.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Reduction.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Sorts.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Sorts.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Sorts.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Tm_kind.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Tm_kind.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Tm_kind.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Unification.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Unification.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Unification.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Datatypes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Datatypes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Datatypes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/List.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/List.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/List.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Logic.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Logic.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Logic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Specif.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Specif.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Specif.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Utils.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Utils.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Utils.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/Exhaustive.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/Exhaustive.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/Exhaustive.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFix.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFix.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFix.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFixDef.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFixDef.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFixDef.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatch.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatch.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatch.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/IntroPatt.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/IntroPatt.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/IntroPatt.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/TacticsBase.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/TacticsBase.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/TacticsBase.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Ttactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Ttactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Ttactics.vo
- /usr/share/doc/libcoq-mtac2/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-mtac2/changelog.Debian.gz
- /usr/share/doc/libcoq-mtac2/changelog.gz
- /usr/share/doc/libcoq-mtac2/copyright
- /usr/share/lintian/overrides/libcoq-mtac2
- /var/lib/coq/md5sums/libcoq-mtac2.checksum