coq-hierarchy-builder - 1.8.0-1 main

Versions in dawn: 1.8.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-hierarchy-builder_1.8.0-1.dsc 2.2 kB d36a1dad03a71a8e37bbe244cb31bce3f1373e2e9b8b072ba8eff0551bb1bb8b
coq-hierarchy-builder_1.8.0.orig.tar.gz 215.6 kB c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483
coq-hierarchy-builder_1.8.0-1.debian.tar.xz 2.9 kB b8d3b0c566e77211108f10759b651e44296b50f0efc067e856b06603c8d829cc