coq-mtac2 - 1.4+8.19-1 main

Versions in dawn: 1.4+8.19-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-mtac2_1.4+8.19-1.dsc 2.1 kB 351965f26c08bc55ec9d70d5d895d361979c677e99682743f2a9022807e2bf16
coq-mtac2_1.4+8.19.orig.tar.gz 252.2 kB 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f
coq-mtac2_1.4+8.19-1.debian.tar.xz 2.8 kB 7378a3d32e74cdf4c71c06c5d5d9cf8a3c379d65bd8eae01a72f6f5d3867af20