coq-mtac2 - 1.4+8.16-2 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-mtac2_1.4+8.16-2.dsc 2.1 kB aa6b39df5bb89ae2abfb7c3038317acb4099ce60ea8386d037586f128e43bb58
coq-mtac2_1.4+8.16.orig.tar.gz 251.1 kB 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0
coq-mtac2_1.4+8.16-2.debian.tar.xz 2.5 kB 2d80fee8793d04660d0fdcaef8336a6857d819392a8507cfd8665dc6eb850287