Package: libcoq-mtac2
Architecture: amd64
Version: 1.4+8.19-2build3
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: 5048
Provides: libcoq-mtac2-68a42
Depends: libcoq-stdlib-dksn3, libcoq-unicoq-tqpd5
Filename: pool/universe/c/coq-mtac2/libcoq-mtac2_1.4+8.19-2build3_amd64.deb
Size: 908482
MD5sum: c8def33fcf9acc19610312a2ce0be650
SHA1: cb48de050e4d81c9081769450eabf19278181659
SHA256: 6f64db36032215b870eccdc24ce5045c14fb97050e0d403c2403fcb4064d9517
SHA512: 020eecaecb5d1e04a5009a90f65a7baf88a0313c892a4ad08568d944be85b968a01199f43fd85bbe93af4bcc2aeb99b55cee5a0a8277adfc6e3255e9c4ec9ec5
Homepage: https://github.com/Mtac2/Mtac2
Description: Mtac2 tactic language for Coq
Description-md5: 6841300aeafd53fddd1be8b77fa1bba7