Package: libcoq-flocq
Source: flocq
Priority: optional
Section: universe/ocaml
Installed-Size: 9189
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.2.1-1build5
Provides: libcoq-flocq-lphi1
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/f/flocq/libcoq-flocq_4.2.1-1build5_amd64.deb
Size: 3869388
MD5sum: 4b5e6084c8075a4e8a482cacc65d7f99
SHA1: 2a6f07cf157fdbf2456b08ad7f01fcf49a0dad54
SHA256: 45bea2a4cefef8395bc3a9e28db9ee48bf8827d775ebb4bfe29cab41f3f10046
SHA512: 8dc3d6ecad79bd8d0408677f07fbeabdc601af70285ad101cf1ff8d639d93e80dfc21be64627a1239cfb604154f9bfa4c01159784d52a22bbd5be51218ff0d08
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