Package - libcoq-hierarchy-builder
Package: libcoq-hierarchy-builder
apt-get install libcoq-hierarchy-builder
apt-get install libcoq-hierarchy-builder
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.8.1-1+b3_amd64.deb (Size: 535.8KiB)| Property | Value |
|---|---|
| Package | libcoq-hierarchy-builder |
| Source | coq-hierarchy-builder (1.8.1-1) |
| Version | 1.8.1-1+b3 |
| Installed-Size | 1667 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-hierarchy-builder-x91u3 |
| Depends | libcoq-elpi-s1x22 |
| Recommends | ocaml-findlib |
| Description | build hierarchies of algebraic structures in Coq |
| Description-md5 | 7cbea0bccc9673cc40b4f3264cc7b0f5 |
| Homepage | https://github.com/math-comp/hierarchy-builder |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.8.1-1+b3_amd64.deb |
| Size | 548656 |
| MD5sum | f3684004fc1520bc961361d87420f523 |
| SHA256 | 27487f19047c0df0f3e733c56fa54ede0a7f65877e903593250c917000687da6 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HB/structures.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HB/structures.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/HB/structures.vo
- /usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz
- /usr/share/doc/libcoq-hierarchy-builder/changelog.gz
- /usr/share/doc/libcoq-hierarchy-builder/copyright
- /var/lib/coq/md5sums/libcoq-hierarchy-builder.checksum