Package: libcoq-ext-lib
Architecture: amd64
Version: 0.12.0-1build4
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: 3614
Provides: libcoq-ext-lib-l4av0
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-ext-lib/libcoq-ext-lib_0.12.0-1build4_amd64.deb
Size: 842022
MD5sum: 54c0e1c90bc204d738771caee11ef1b8
SHA1: fe217cfffaf00279eaca7a1bdcd2a380d3634999
SHA256: 0cbe23ff713468ce89be77e17833d520f0a3fecca420416f90641c9942387632
SHA512: 946c03fcea9f3358c21c2462105c16fff356e9fc37a303a64976a77ab3880ec942820d4143631f3d211bf587e9726bbfad4e9f073fd1107c8f178967ad159c4f
Homepage: https://github.com/coq-community/coq-ext-lib
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053