Versions in crimson: 1.4.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: 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-hierarchy-builder_1.4.0-2.dsc	2.2 kB	5771e66d5f591956cc8aada1c50788da30249ec5ec548a31177516030a22a493
coq-hierarchy-builder_1.4.0.orig.tar.gz	201.7 kB	96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99
coq-hierarchy-builder_1.4.0-2.debian.tar.xz	3.1 kB	5fba885d6160c4fa136eb7f9344a1e50c54a4f0db799495202053fbb2139b3da