Package: libcoq-mtac2
Architecture: amd64
Version: 1.4+8.18-1build3
Priority: optional
Section: universe/ocaml
Source: coq-mtac2
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4570
Provides: libcoq-mtac2-8zvv6
Depends: libcoq-stdlib-eg0o0, libcoq-unicoq-iguq4
Filename: pool/universe/c/coq-mtac2/libcoq-mtac2_1.4+8.18-1build3_amd64.deb
Size: 885448
MD5sum: a600375a4aa6b20b2dc576fdd0e107e2
SHA1: 47d13f49f1af39f137d3fd77b321610cd5328c0e
SHA256: 4490895f6e2fd346e6027499dce7da49003fb7ca901e94a3a3f67ab7ae575923
SHA512: 97d84e9b2e019323aeca90e9fb0a6e468ef0b343cda7c359cf6f34792ed93c6437465b727f605bf00187daedfb5568872a70250d04f59bc762c5008cd8119c72
Homepage: https://github.com/Mtac2/Mtac2
Description: Mtac2 tactic language for Coq
Description-md5: 6841300aeafd53fddd1be8b77fa1bba7