Package: libcoq-ext-lib
Architecture: amd64
Version: 0.12.1-2build4
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: 3710
Provides: libcoq-ext-lib-uxa90
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-ext-lib/libcoq-ext-lib_0.12.1-2build4_amd64.deb
Size: 869474
MD5sum: de0723906c4201631f54b4368e3e623d
SHA1: 75cf6c24cacda41db91a3474c7eb573f29cc3aba
SHA256: 587393eadfc17f882f1c42556218d52ff6345ba4b80856d1dbc20723c225571b
SHA512: 4535e599a1ba26ac1cb87f6c7b4490b5a57ea361ea516b37af292c847433d1491fc5e5f33cda550dcca20e92463207e11c56faa27b88fc985ddcbe813d2da129
Homepage: https://github.com/coq-community/coq-ext-lib
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053