Package - libcoq-paramcoq
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb (Size: 113.8KiB)| Property | Value |
|---|---|
| Package | libcoq-paramcoq |
| Source | paramcoq (1.1.3+coq8.20-1) |
| Version | 1.1.3+coq8.20-1+b4 |
| Installed-Size | 859 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-paramcoq-v0yk5 |
| Depends | libcoq-stdlib-68yx1 |
| Description | Coq plugin to generate parametricity statements |
| Description-md5 | 0f313fc531ec3a334d5921ce381c273c |
| Homepage | https://github.com/coq-community/paramcoq/ |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb |
| Size | 116480 |
| MD5sum | ea62cd7d355d066f6f5e4d0bd17ac5bc |
| SHA256 | 1ac1a4fa5cdabf50cbb96cd222b4ca438e9f57a5926c8eec65c042e730bcfc1b |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Param/Param.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Param/Param.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Param/Param.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Param/paramcoq.cmxs
- /usr/share/doc/libcoq-paramcoq/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-paramcoq/changelog.Debian.gz
- /usr/share/doc/libcoq-paramcoq/copyright
- /usr/share/lintian/overrides/libcoq-paramcoq
- /var/lib/coq/md5sums/libcoq-paramcoq.checksum