Package: libcoq-interval
Architecture: amd64
Version: 4.11.1-1build7
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: 16875
Provides: libcoq-interval-od8e3
Depends: libcoq-bignums-3tk18, libcoq-coquelicot-t44i8, libcoq-flocq-3s5z8, libcoq-mathcomp-ssreflect-rrbv4, libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-interval/libcoq-interval_4.11.1-1build7_amd64.deb
Size: 7639240
MD5sum: e7740af4339b7b12ede7b9e358397d88
SHA1: f6d2d5ff723ac5b31076f9dea07e53dfd2ea9ad9
SHA256: 9c39552ba092de5706a64dd793888e524c6a546d96e3b158b89d06ced16f4244
SHA512: 808522c9c9f22664d9992472cca43880b1bd11aeaa2cc7877c38a0d712bd509a5db81b86f53f94a0dc257051df9d159a2d52bbc1d0d95ef3f5e68435592a8e1d
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2