Package: libcoq-interval
Architecture: amd64
Version: 4.9.0-1build5
Priority: optional
Section: universe/ocaml
Source: coq-interval
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: 18932
Provides: libcoq-interval-zlq34
Depends: libcoq-bignums-zm213, libcoq-coquelicot-ok3o1, libcoq-flocq-40s48, libcoq-mathcomp-ssreflect-y5tl2, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-interval/libcoq-interval_4.9.0-1build5_amd64.deb
Size: 6834446
MD5sum: 67f741c3bef1fa3209b6114dc1517de0
SHA1: a1bcd7411ea27594cc5490eeb726f1bb89f4f242
SHA256: 4ddaca14fe7d85dc5db4d2255cb0bc4e393618b949371c37e4ed1a14d1cf0f76
SHA512: 1cdb47eed2001bfca7c87f5a58b4b8ec8069179995935f62002dcbdbb295c77beed60a8aa403920e0ec6e7f3ae4fa682dbf1956c39cf8e0a7334a767518b864f
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2