Bug#438613: ITP: coq-float -- coq library for floating point numbers

Sat, 18 Aug 2007 03:54:54 -0700 

Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <[EMAIL PROTECTED]>

* Package name    : coq-float
  Upstream Author :  Laurent Théry <[EMAIL PROTECTED]>, Sylvie Boldo <[EMAIL 
PROTECTED]>, Laurence Rideau <[EMAIL PROTECTED]>
* 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 via email to