Package - libcoq-unicoq
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-unicoq/libcoq-unicoq_1.6-8.20-1+b4_amd64.deb (Size: 84.6KiB)| Property | Value |
|---|---|
| Package | libcoq-unicoq |
| Source | coq-unicoq (1.6-8.20-1) |
| Version | 1.6-8.20-1+b4 |
| Installed-Size | 612 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-unicoq-6k894 |
| Depends | libcoq-stdlib-68yx1 |
| Description | enhanced unification algorithm for Coq |
| Description-md5 | 48caa7101c0321542fff948271f05d89 |
| Homepage | https://github.com/unicoq/unicoq/ |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-unicoq/libcoq-unicoq_1.6-8.20-1+b4_amd64.deb |
| Size | 86584 |
| MD5sum | c2f6c87a8d97a381264ed4a0ea95cd1a |
| SHA256 | 0fb750add9ede1de822d8cee92f1069c7a7d86ceb402920c92ff911803521e25 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Unicoq/Unicoq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Unicoq/Unicoq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Unicoq/Unicoq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Unicoq/unicoq.cmxs
- /usr/share/doc/libcoq-unicoq/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-unicoq/changelog.Debian.gz
- /usr/share/doc/libcoq-unicoq/changelog.gz
- /usr/share/doc/libcoq-unicoq/copyright
- /usr/share/lintian/overrides/libcoq-unicoq
- /var/lib/coq/md5sums/libcoq-unicoq.checksum