coqprime - 8.19-2 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coqprime_8.19.orig.tar.gz 996.6 kB bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d
coqprime_8.19-2.dsc 1.9 kB 8ba26538fef93d41c69e7b7dffac91bdd937994eaeca6d05e1457ab1b633884f
coqprime_8.19-2.debian.tar.xz 3.4 kB 1eea8b4297c00d23fdbbf8dd71ace518e5218d95c075045cd6e31034a0a1dd46