Package: libcoq-interval
Architecture: amd64
Version: 4.11.0-2build5
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: 20479
Provides: libcoq-interval-r3519
Depends: libcoq-bignums-baxl6, libcoq-coquelicot-djvx8, libcoq-flocq-ra3u0, libcoq-mathcomp-ssreflect-uyii6, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-interval/libcoq-interval_4.11.0-2build5_amd64.deb
Size: 7668262
MD5sum: 854122cd83f2b4a8ffb15465a7e6ad5a
SHA1: 635d1f7a1d1ecf0dd2b0f703654b0d90c798c2b3
SHA256: effb84d85ef251941b50e0b00eb4f49f1365d4d72eaf27e6d8bae888c4486c82
SHA512: f62083127c12ba72f97c5c77cede8cbd7a1e7cc442f67cb35b7f41ea2e7ff7b99ccf96f3e03cf8da67661caf3a27a2036ad7b18ae79834ee605815420258dde7
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2