Versions in landing: 1.8.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: 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.1-1.dsc	2.2 kB	873579a5d7a6f6f199b4e1acb49be13a18c2e8ab5ec94b2771e908fa36c6db65
coq-hierarchy-builder_1.8.1.orig.tar.gz	215.2 kB	aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb
coq-hierarchy-builder_1.8.1-1.debian.tar.xz	2.9 kB	99e0b8d83148eebd69fdd0dac7bcf1efe3fd6378522da44f1f9da314cf2cba35