all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-mtac2 (1.4+8.18-1)

Links for coq-mtac2

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-mtac2
Mtac2-taktisk sprog 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.18-1.dsc 2.1 kB 6eff01a9da3bad0ba03351a38fa28a94
coq-mtac2_1.4+8.18.orig.tar.gz 246.2 kB 51b768f6f78c09d069eafd1378c7391b
coq-mtac2_1.4+8.18-1.debian.tar.xz 2.7 kB 62f890fe559061db39ee7a8347231c08
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