coq - 8.16.1+dfsg-1 main

Versions in landing: 8.16.1+dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Benjamin Barenblat <bbaren [꩜] debian.org>
  • Julien Puydt <jpuydt [꩜] debian.org>
  • Ralf Treinen <treinen [꩜] debian.org>
  • Stéphane Glondu <glondu [꩜] 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_8.16.1+dfsg-1.dsc 2.6 kB 9756a998c91c13eb3a3f387e41dedce7c0c16c64e3fecb9eec25d98c4f8d63e7
coq_8.16.1+dfsg.orig.tar.xz 4.7 MB d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3
coq_8.16.1+dfsg-1.debian.tar.xz 33.2 kB 9a9cae6934a209c895eeb808e503eaf001aa7fe0385b9f54313d7b08bb24cdab