Package: libcoq-mtac2
Source: coq-mtac2
Version: 1.4+8.20-1build9
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3657
Depends: libcoq-stdlib-83lq0, libcoq-unicoq-p0rq7
Provides: libcoq-mtac2-w5mh0
Section: ocaml
Priority: optional
Homepage: https://github.com/Mtac2/Mtac2
Description: Mtac2 tactic language for Coq
 This plugin for Coq provides the Mtac2
 typed tactic language for backward reasoning.
 .
 Coq is a proof assistant for higher-order logic.
