coq-hierarchy-builder - 1.7.0-1 main

Versions in landing: 1.7.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.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-hierarchy-builder_1.7.0-1.dsc 2.2 kB e3ede31390305611739e3809a08d91c73b3269e0ff515c3fc8925fdb6913c3bf
coq-hierarchy-builder_1.7.0.orig.tar.gz 206.7 kB c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01
coq-hierarchy-builder_1.7.0-1.debian.tar.xz 2.8 kB 67c6d596af8e7b0623b84450bc5bc09e7492e63bbbc407029c2b67f56d340757