Package: libfloat-coq
Architecture: all
Version: 1:8.10.0-1
Priority: optional
Section: universe/math
Source: coq-float
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: 13002
Depends: coq-8.11.0+4.08.1
Filename: pool/universe/c/coq-float/libfloat-coq_8.10.0-1_all.deb
Size: 1224024
MD5sum: 49a15e7eb7e7f12297607a1e894a9e71
SHA1: 6bebe6f3ae8dad943c8798e9e80cf06e55bf0c1c
SHA256: 3a7c81dd21bc18d5aca719d1ed4bd552aaef7307abde213da89a8540769cc2d1
Homepage: https://github.com/coq-contribs/float
Description: Coq library on floating-point arithmetic
Description-md5: f850275d0bfd31acbb9a4ed726a7b44d