Package - debian-coq-tools

Primary informations

Download package: http://deb.debian.org/debian/pool/main/d/dh-coq/debian-coq-tools_0.14_all.deb (Size: 9.6KiB)

Property	Value
Package	debian-coq-tools
Source	dh-coq
Version	0.14
Installed-Size	39
Maintainer	Debian OCaml Maintainers
Architecture	all
Depends	python3:any
Description	various tools to manage Coq-related Debian packages
Description-md5	bc0e9ecb11676bddf70f51790273af6f
Multi-Arch	foreign
Section	ocaml
Priority	optional
Filename	pool/main/d/dh-coq/debian-coq-tools_0.14_all.deb
Size	9856
MD5sum	7de008f383edf23bc66c3b25bffd3782
SHA256	ebf19aa7ba44a900c6a874477136a3953b7393827c380a46c99dc1054bf079a0

Files in package

• /usr/bin/coq-check-packages
• /usr/bin/coq-planif-transition
• /usr/bin/coq-platform-comparison
• /usr/bin/coq-wanna-build
• /usr/lib/python3/dist-packages/coq_packages.py
• /usr/share/doc/debian-coq-tools/changelog.gz
• /usr/share/doc/debian-coq-tools/copyright
• /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