Package: libcoq-coquelicot
Architecture: amd64
Version: 3.2.0-8build2
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: 13489
Provides: libcoq-coquelicot-ih6g4
Depends: libcoq-mathcomp-ssreflect-rfbo8
Filename: pool/universe/c/coquelicot/libcoq-coquelicot_3.2.0-8build2_amd64.deb
Size: 3747112
MD5sum: dce07f7bd2051ba927c82459512366e0
SHA1: 518de6924dbc48168b4f9b3eadc43d4d1d19c250
SHA256: e48bb25c11d7290a054eafacfcf2d2f4a5f98168a1e0b85b460ff97e30949c52
SHA512: 6636f8ebd76f623d85bbeb1b79619f00d7907258240ce7cf6476487bc50e8a76c157d75205049f379dbba1ba60e87f89afa1c03390482dff5905a2e64bfc7308
Homepage: https://coquelicot.saclay.inria.fr/
Description: Coq library for real analysis
Description-md5: 1a4a4a918ba48def79e1bc8e2e39dd79