Package: dh-coq
Architecture: all
Version: 0.11
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.11_all.deb
Size: 6896
MD5sum: 540bb67df767a2ae2ed8c3add9a4a8f4
SHA1: 64dc4bbd4b04ef2cb5feb8c977e881e94c99b1ce
SHA256: 121fa2cade8393113b33e4b5cb3dccf905619908cc09733c7356afc12f88ccbc
SHA512: 50f38b87b5e9c10fd1d2870766b05afefd3fa45f4bafaaafe3ade83fbc48945eb2ba9724e0289c4917cdb39bde50314361cab682c4f64729acf25321e2fe8af8
Description: debhelper tool for Coq-related Debian packages
Description-md5: a9d9a045bc98a4ede89c9b213ef810fe