debian-coq-tools (0.14build2)
3 versions available in ubuntu/stonking/universe/i386
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- dh-coq
- Architecture
- i386
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 39 B
- Size expected
- 10 kB
- Size actual
- 10 kB
- Size match
Suggested packages
Recommended additional packages
- None
Description
various tools to manage Coq-related Debian packages
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | c6b9d248…965cfaec | |
| SHA-1 | d36ec3ae…1919ea39 | |
| SHA-256 | e0baaffc…77ec201a | |
| SHA-512 | d4ee4f43…861c625f |
Contents
Files and directories included
. usr usr/bin usr/bin/coq-check-packages usr/bin/coq-planif-transition usr/bin/coq-platform-comparison usr/bin/coq-wanna-build usr/lib usr/lib/python3 usr/lib/python3/dist-packages usr/lib/python3/dist-packages/coq_packages.py usr/share usr/share/doc usr/share/doc/debian-coq-tools usr/share/doc/debian-coq-tools/changelog.gz usr/share/doc/debian-coq-tools/copyright usr/share/man usr/share/man/man1 usr/share/man/man1/coq-check-packages.1.gz usr/share/man/man1/coq-planif-transition.1.gz usr/share/man/man1/coq-platform-comparison.1.gz usr/share/man/man1/coq-wanna-build.1.gz