Package: debian-coq-tools
Source: dh-coq
Priority: optional
Section: universe/ocaml
Installed-Size: 40
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.14build1
Depends: python3:any
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.14build1_all.deb
Size: 9922
MD5sum: 5c128379eb6825aa5de409b7c47523de
SHA1: 70e370c271447fe84c2bf3f9a27bec5bd726a547
SHA256: a2d8de4b72ec147e405d339826ab6a75903ad8db7fe7f73282c570d361afd6a6
SHA512: 0079bc8d7a615a83956f21e458c0af3bf5b24c296b09d97b247987cbe997e6fdfe83978790eb97361bb283ff8fb3fd6944dd4bab23211c41aefdd7d2069f44a7
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