coq - 8.19.1+dfsg-2 main

Versions in dawn: 8.19.1+dfsg-2
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.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq_8.19.1+dfsg-2.dsc 2.3 kB 1cc91e213502d4248507c0229701db4fed80dc737b396341d40999bb11ce1be6
coq_8.19.1+dfsg.orig.tar.bz2 5.6 MB 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350
coq_8.19.1+dfsg-2.debian.tar.xz 32.9 kB 07a6b25d9b0f760461f8cc3201c8671cce34ee078df36c01e9aad54af74cc94c