Package: dh-coq
Architecture: all
Version: 0.8
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.8_all.deb
Size: 6766
MD5sum: c09158494db5512a4fbecadd2007b664
SHA1: c2f3bf7c60b221144e6665f8def88153bebceec5
SHA256: b511418d886ee6dbf3bc66067a2fe78bd6204c49df22a9ba2552754cdc777cdd
SHA512: 0c62f6a1168596c53634579338d4b97e5b38b7da3e7485d2ece71a5b1cca21f163200e63a709d86e0237a7ee4b0a7d53a862b06af1fe1af37c90087ec012b970
Description: debhelper tool for Coq-related Debian packages
Description-md5: a9d9a045bc98a4ede89c9b213ef810fe