Package: libcoq-flocq
Architecture: amd64
Version: 4.1.4-2build3
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: 10269
Provides: libcoq-flocq-ra3u0
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/f/flocq/libcoq-flocq_4.1.4-2build3_amd64.deb
Size: 3898472
MD5sum: d34264ef8fd27845a43b4feee4b27d7c
SHA1: dd82ee6c068b79ee6eec8e5b5815b6809cd61c38
SHA256: 176ea956fd3a760bdbaf6340eaea053ae1a3b27a8e943f6dd9488ffc5706d4c8
SHA512: 513b5152f30ce35503a957b75773b3ab7af12cb9a82d5543ac366c0af6101e4d000b3e325af7f0d2739a0be1b6453f91a7ce69da921281c25c98dabbd0eaf6aa
Homepage: https://flocq.gitlabpages.inria.fr/
Description: Floating-point arithmetic for Coq
Description-md5: 40dc9bd26759c7b4d14a10e25957fe12