Package: libcoq-flocq
Source: flocq
Priority: optional
Section: universe/ocaml
Installed-Size: 9252
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.2.2-2build4
Provides: libcoq-flocq-9t5s3
Depends: libcoq-stdlib-7wto0
Filename: pool/universe/f/flocq/libcoq-flocq_4.2.2-2build4_amd64.deb
Size: 3923094
SHA512: 29a195bd81ad511b4ab75a3813fa25fe74d70fde625db1b2199d9527c52793e100d30b65053c248174e9cd8d180d6125f9371a183afa2d54f26028da3161b16f
Homepage: https://flocq.gitlabpages.inria.fr/
Description: Floating-point arithmetic for Coq
Description-md5: 40dc9bd26759c7b4d14a10e25957fe12
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug