Package: dh-coq
Architecture: all
Version: 0.14
Multi-Arch: foreign
Priority: optional
Section: universe/ocaml
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: 25
Provides: dh-sequence-coq
Recommends: debhelper
Filename: pool/universe/d/dh-coq/dh-coq_0.14_all.deb
Size: 6862
MD5sum: fdaf2f765c53134055c8b20016d5bfd1
SHA1: 202a316a78f8906ab62c8af73e901c1f7883a8c8
SHA256: 33fd222d5b636ce244f7c160c0cd77a282f4c38ff22f2e754059f6a87d04906e
SHA512: 9e803e202f54acac7af4dc49acf424de83710c7f8a4ff6fc5f6188f1ff9c1d66a20769d3833de1face84e7b05c00a80e0a7db708f8195bfe5e0ed2b2a64a6aa8
Description: debhelper tool for Coq-related Debian packages
Description-md5: a9d9a045bc98a4ede89c9b213ef810fe