[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: