Package: libcoq-ext-lib
Source: coq-ext-lib
Priority: optional
Section: universe/ocaml
Installed-Size: 2816
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.13.0-1build7
Provides: libcoq-ext-lib-kvhf9
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-ext-lib/libcoq-ext-lib_0.13.0-1build7_amd64.deb
Size: 851182
MD5sum: 9e972087e34677ee0fad6e962cce6aab
SHA1: 52632aa0a648dde92437e59982260c8ba97c28f4
SHA256: b6ad6a5da904847ac6adb20c43736d1a5df979c25e6cff5e86817711a7a74c23
SHA512: ad7dc4ae2b974945dc54b0e169f9f55be84aa2e8698f33ac99dab9b7aabd9f4d3d53f03692e54e7057752fa99d9a993d30a3c1e173d9ba771992a5487d3740f8
Homepage: https://github.com/coq-community/coq-ext-lib
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug