Package: debian-coq-tools
Source: dh-coq
Priority: optional
Section: universe/ocaml
Installed-Size: 39
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.17
Depends: python3:any
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.17_all.deb
Size: 10192
SHA512: 9ec3da2635c81527b830a8a7d5dc97dc9866d48160a58ae9cb6f81023ff0888a680d4bc3f2bc2dd858cc0cca8cb536e76ca1140412a2e1853a388a4aaff81ecf
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug