Package: libcoq-ext-lib
Source: coq-ext-lib
Priority: optional
Section: universe/ocaml
Installed-Size: 2793
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.13.1-2build4
Provides: libcoq-ext-lib-ocnv3
Depends: libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-ext-lib/libcoq-ext-lib_0.13.1-2build4_amd64.deb
Size: 865182
SHA512: c16ab4ca28abb4a94a0034b98c7a0865ab7c236f3752a25fbad89989bf5c2c0e9d8e572f62d611547a354949577ce2b8be93eaa03f3b03ef1d4b7d8f927d7453
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