Package - dh-coq
Primary informations
Download package: http://deb.debian.org/debian/pool/main/d/dh-coq/dh-coq_0.14_all.deb (Size: 6.8KiB)| Property | Value |
|---|---|
| Package | dh-coq |
| Version | 0.14 |
| Installed-Size | 25 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | all |
| Provides | dh-sequence-coq |
| Recommends | debhelper |
| Description | debhelper tool for Coq-related Debian packages |
| Description-md5 | a9d9a045bc98a4ede89c9b213ef810fe |
| Multi-Arch | foreign |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/d/dh-coq/dh-coq_0.14_all.deb |
| Size | 6956 |
| MD5sum | a3f1f0f529346422858aa36da9ae7a01 |
| SHA256 | 3d7d448f91408572f2a4300331d4e7092296a5c665a7dd31514e0b4ffe364d7d |
Files in package
- /usr/bin/dh_coq
- /usr/share/doc/dh-coq/changelog.gz
- /usr/share/doc/dh-coq/copyright
- /usr/share/man/man1/dh_coq.1.gz
- /usr/share/perl5/Debian/Debhelper/Sequence/coq.pm