all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-mtac2 (1.4+8.16-2)

Links for coq-mtac2

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-mtac2
Mtac2 tactic language for Coq

Other Packages Related to coq-mtac2

  • build-depends
  • build-depends-indep

Download coq-mtac2

FileSize (in kB)MD5 checksum
coq-mtac2_1.4+8.16-2.dsc 2.1 kB ea402b9ce0aedf2229d95a13e00f1fb0
coq-mtac2_1.4+8.16.orig.tar.gz 245.2 kB b7e5c7d4a7f3a59713c86b8a4c131d76
coq-mtac2_1.4+8.16-2.debian.tar.xz 2.4 kB 64e2a759658ebd074f57c70290a58426
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-mtac2.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-mtac2