Package: debian-coq-tools
Architecture: all
Version: 0.8
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: 29
Depends: python3:any
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.8_all.deb
Size: 7476
MD5sum: e60e3e98104140a40d087b1a6aba6a15
SHA1: 4c2fe42d58f2334dfff0a290b41b37116d70005d
SHA256: fbc5a5e60a6c2cee6a12fef6630acc33376df5b97e8ba3cdab914b17a087b8a1
SHA512: c7f7200f7dbfbaa72703a0f9d81b0f2aef74e8056a1a9c807ee25a5f5f1611e3ac1a52156e4de9ccb2c9dc77556023868c8ac6cac13c5e95736fd1c21f606af9
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f