Bug#438613: ITP: coq-float -- coq library for floating point numbers
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <smimram@debian.org>
* Package name : coq-float
Upstream Author : Laurent Théry <thery@sophia.inria.fr>, Sylvie Boldo <Sylvie.Boldo@ens-lyon.fr>, Laurence Rideau <lrg@sophia.inria.fr>
* URL : http://coq.inria.fr/contribs/Float.html
* License : LGPL
Programming Lang: coq
Description : coq library for floating point numbers
Library for reasoning about floating point numbers in coq.
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.22-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8)
Shell: /bin/sh linked to /bin/bash
Reply to: