coq-corn - 8.20.0-1 main

Versions in landing: 8.20.0-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-corn_8.20.0-1.dsc 2.1 kB 5fbae7cb1aef36236759ff3dba324e8b4382df67d50b508ab2d80ab293f62b54
coq-corn_8.20.0.orig.tar.gz 1.3 MB 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305
coq-corn_8.20.0-1.debian.tar.xz 4.3 kB 9040a6be9c6a8266346d06265d63225f5093120cad4a15e868da9da636211754