Package: coq-hierarchy-builder
Architecture: amd64
Version: 1.4.0-2build3
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2099
Depends: libcoq-hierarchy-builder (= 1.4.0-2build3), ocaml-nox
Filename: pool/universe/c/coq-hierarchy-builder/coq-hierarchy-builder_1.4.0-2build3_amd64.deb
Size: 776366
MD5sum: 5dc0bcdc8e839813223c5b4469d21c75
SHA1: df743d5b5b6f2c771b28db6aadca9af417fd8c40
SHA256: f64e65645534fff104d00be385cd4c2d5139699e62a8cd9abba763c3ee3c609e
SHA512: 9568ac019a35229838f7fcd00c55e394434282621ca0744cff835393ca069f5ec0ae06663ca09c4a322c39eed2bcb224815595c8063599f5ee8e94b8660b06bb
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (tool)
Description-md5: 658973fab18f432ee86a3dec272a1700