coq-bignums - 9.0.0+coq8.20-1 main

Versions in dawn: 9.0.0+coq8.20-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)
coq-bignums_9.0.0+coq8.20-1.dsc 2.1 kB c8e22462e05df2684444cdd95d125ebec35e9728c720aa9a917ef4de8b20e19a
coq-bignums_9.0.0+coq8.20.orig.tar.gz 117.3 kB 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6
coq-bignums_9.0.0+coq8.20-1.debian.tar.xz 2.1 kB 357d377fb039e70c0d3142fe01af6b6596620209741a3c03ef7d206b5c469105