Package: libcoq-flocq
Architecture: amd64
Version: 4.2.1-1build1
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: 9189
Provides: libcoq-flocq-3s5z8
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/f/flocq/libcoq-flocq_4.2.1-1build1_amd64.deb
Size: 3873214
MD5sum: c15b7fdbb2b01a03e7ce888d044a28fd
SHA1: b4f43c46e96a047d922de5432f42c1bdf55a76f7
SHA256: bdab85b3eec495e700162375f9e8d56dc361889fd35ee0a36adc87afc4acc07d
SHA512: dc85d1462121bac95401758e5a79b3f78fb089136ca9e802d6ca5eb17c85dfe453699b80f24f5f7a4ddd162321260b2d511ae1305c8a0c5f331e38cadf91e395
Homepage: https://flocq.gitlabpages.inria.fr/
Description: Floating-point arithmetic for Coq
Description-md5: 40dc9bd26759c7b4d14a10e25957fe12