coq-quickchick - 1.6.4-3 main

Versions in crimson: 1.6.4-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] 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-quickchick_1.6.4-3.dsc 2.3 kB 287c26bc9dea58e9f38078af1c5eaf654972e3a7cf59ba5fa613d029e965d0dd
coq-quickchick_1.6.4.orig.tar.gz 388.5 kB a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4
coq-quickchick_1.6.4-3.debian.tar.xz 2.7 kB 0ed3da1269a64008f6fdf6ad0acb8a33220d57cf4c83f09cf942d6381929d0d6