debian-coq-tools (0.14build1)

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: amd64v3
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 40 B
Size expected: 9.9 kB
Size actual: 9.9 kB
Size match

Dependencies

Required package dependencies

python3:any

Suggested packages

Recommended additional packages

None

Description

various tools to manage Coq-related Debian packages

Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	5c128379…c47523de	5c128379…c47523de
SHA-1	70e370c2…d726a547	70e370c2…d726a547
SHA-256	a2d8de4b…61afd6a6	a2d8de4b…61afd6a6
SHA-512	0079bc8d…069f44a7	0079bc8d…069f44a7

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