Package: libcoq-flocq
Architecture: amd64
Version: 4.1.3-1build4
Priority: optional
Section: universe/ocaml
Source: flocq
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: 9815
Provides: libcoq-flocq-40s48
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/f/flocq/libcoq-flocq_4.1.3-1build4_amd64.deb
Size: 3766130
MD5sum: b39ed6a313925d7b5f93317f0e854500
SHA1: 3f4dc9fbf1259042c8fe84b12e691e14634340ab
SHA256: ae7595b29c81432d6aeca825acd3cd4522eacd51e29d7f2871807d04d8e3ffe9
SHA512: 8b153942bae155c1c29101ba139a4f747f7cc431ff8c1be9e3b1adadc307d1135187882f3d182e5fd07baae45bbf6195730f0229aa8c04bbfd8b6791202e0e6e
Homepage: https://flocq.gitlabpages.inria.fr/
Description: Floating-point arithmetic for Coq
Description-md5: 40dc9bd26759c7b4d14a10e25957fe12