Package: libcoq-coquelicot
Architecture: amd64
Version: 3.3.1-1build1
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: 13566
Provides: libcoq-coquelicot-34q78
Depends: libcoq-mathcomp-ssreflect-sunj9
Filename: pool/universe/c/coquelicot/libcoq-coquelicot_3.3.1-1build1_amd64.deb
Size: 3771238
MD5sum: df46aae49a2b30888bae63d89b384203
SHA1: 5f4f0410979ff60782fba2dc3119b1b26e0adf39
SHA256: 169c0d53ac143d20fb2449c9cd5910a81c77247bab7ee8bdf69cee8b4c10d973
SHA512: bc6293af33067f394a91b66d2175f6765a6c42fbaabec855b95a61887925ef8da1612f29078221d9df07b0f3ede0330aec01916dfbe3cd5d6d1549501b22183f
Homepage: https://coquelicot.saclay.inria.fr/
Description: Coq library for real analysis
Description-md5: 1a4a4a918ba48def79e1bc8e2e39dd79