Package: libcoq-coquelicot
Architecture: amd64
Version: 3.4.1-1build5
Priority: optional
Section: universe/ocaml
Source: coquelicot
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: 13636
Provides: libcoq-coquelicot-ok3o1
Depends: libcoq-mathcomp-ssreflect-y5tl2
Filename: pool/universe/c/coquelicot/libcoq-coquelicot_3.4.1-1build5_amd64.deb
Size: 3768322
MD5sum: 192fecd3d4ab7276b3065824ab616be1
SHA1: c4ac19be61eda27791c10e072db016d31d8a5a78
SHA256: a8c61e6ea1644b93e7e2760634041cdc23483f1af8668f3edffeab845c9dbab7
SHA512: 66d2d1131c8052fefdd2ca8afc742b29df1a2e619d8a37fdf4a46bcfb8c85d88c1013936ee7a991994a19f5706af17432b8bd5a12129bc4c46c17ed6373c112c
Homepage: https://coquelicot.saclay.inria.fr/
Description: Coq library for real analysis
Description-md5: 1a4a4a918ba48def79e1bc8e2e39dd79