coqprime - 8.20.1-1 main

Versions in dawn: 8.20.1-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)
coqprime_8.20.1-1.dsc 2.2 kB 59d13f894c5af36318f042160eded791c5b388fee8dd471663cdbff22bb571d5
coqprime_8.20.1.orig.tar.gz 996.6 kB 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220
coqprime_8.20.1-1.debian.tar.xz 3.5 kB 81f9e6cba052cba9a325e5d11a68eb0a8988ddf2492f5e67fed946451ea367b4