Package: libcoq-interval
Source: coq-interval
Priority: optional
Section: universe/ocaml
Installed-Size: 16876
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.11.1-1build16
Provides: libcoq-interval-qglz1
Depends: libcoq-bignums-57pi5, libcoq-coquelicot-3wbn4, libcoq-flocq-lphi1, libcoq-mathcomp-ssreflect-ak300, libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-interval/libcoq-interval_4.11.1-1build16_amd64.deb
Size: 7635536
MD5sum: a7675191a142b982239ee84765cf5627
SHA1: bed1e40bd8e13883bc3061962f650d4eef5c4706
SHA256: c033cbcf673d8eca72a3c9de353315d636037d0c19eb566284c1f2f6c57f8465
SHA512: a155e29a9344a8429c4e90d69bd53363b56b585cbe46f0dbc4f40ed0b447b2d7b7fbf601e7bfed3d6859755504c02d0e6c12f7a5ee84d934d4f0a854237e1f46
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug