Package: libfloat-coq
Source: coq-float
Version: 1:8.4-3
Installed-Size: 63482
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Depends: coq-8.4pl3+4.01.0
Description: Coq library on floating-point arithmetic
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Description-md5: f850275d0bfd31acbb9a4ed726a7b44d
Tag: devel::library, implemented-in::TODO, role::devel-lib
Section: math
Priority: optional
Filename: pool/main/c/coq-float/libfloat-coq_8.4-3_all.deb
Size: 11448122
MD5sum: 8ba43532e094cc4ec06700c2c0527333
SHA1: d44850e873a75445ff03925101f9b7112996d89e
SHA256: e6dec44d31e20c31d592613eccb4df8bbdfe63a8384a0b6abd09eb1a65b6307e