Package: libcoq-ext-lib
Architecture: amd64
Version: 0.13.0-1build3
Priority: optional
Section: universe/ocaml
Source: coq-ext-lib
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: 2816
Provides: libcoq-ext-lib-tsyv9
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-ext-lib/libcoq-ext-lib_0.13.0-1build3_amd64.deb
Size: 853782
MD5sum: 34330a43e28688a36928707e0426978f
SHA1: 4a41171c7d2f5536db1300e4f8d7c5d7db647e66
SHA256: 7bb1d90e1a0abe0c7d9cf7e27524fe1ab254017d3cadf76a525d246a891d9508
SHA512: 5e0ee7c1ff6ca0af57cdf7bf2a53c83aa572d523d60610160acd79b5ac65bbe83063ed3454990ee135455f8e8935ca791b564abe377f974d06a6a70b4eaef0b4
Homepage: https://github.com/coq-community/coq-ext-lib
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053