Package: debian-coq-tools
Architecture: all
Version: 0.11
Multi-Arch: foreign
Priority: optional
Section: universe/ocaml
Source: dh-coq
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 29
Depends: python3:any
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.11_all.deb
Size: 7634
MD5sum: 01555d1d87880d0c93b2aa6c3068a50c
SHA1: ab71a543bad7227dd6c739e27f23c97b65e602be
SHA256: b658898941a36870a23440622c3bf11bf526fd0451b1b9843090a17b138448e1
SHA512: 6a9928a0ee9bc51e16d51458cb52728bc614f5893d00b2cd88327963c0c36a176aecd90aeff1c042043c05675b0de64b61016346b7e5d86c3e5bb477081886d9
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f