Package: debian-coq-tools
Architecture: all
Version: 0.14
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: 39
Depends: python3:any
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.14_all.deb
Size: 9834
MD5sum: 5a060795c29c11f34cbf5729593bcf65
SHA1: 65a7a265142584d417bd8eb85575afbce873ba6b
SHA256: e6c2403fb93f3cb9d73dc4243f0043172fe83b3fe868e99cf843b2d14649ab41
SHA512: c76fdff1576cf21c11ded83d03471902642294532c6f28bfe70a54f7e92a2c967d1447199a0a98c291f1f796a76d0ff35413aeaeb975f3ea84661dee87f55fe5
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f