Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libfloat-coq

coq library for floating point numbers

Library for reasoning about floating point numbers in coq.
Homepage:-
Package version:1:8.1-1.0-4
Architecture:all
Distribution:Debian
Filename:libfloat-coq_8.1-1.0-4_all.deb

/usr/share/doc/libfloat-coq/changelog.Debian.gz

coq-float (1:8.1-1.0-4) unstable; urgency=low

  [ Stefano Zacchiroli ]
  * add vcs-* fields

  [ Samuel Mimram ]
  * Rebuild with latest version of coq.

 -- Samuel Mimram <smimram@debian.org>  Sat, 19 Jan 2008 16:52:13 +0100

coq-float (1:8.1-1.0-3) unstable; urgency=low

  * Rebuild with latest coq.

 -- Samuel Mimram <smimram@debian.org>  Sun, 18 Nov 2007 19:21:44 +0000

coq-float (1:8.1-1.0-2
more»

/usr/share/doc/libfloat-coq/copyright

This package was debianized by Samuel Mimram <smimram@debian.org> on
Fri, 10 Aug 2007 14:48:56 +0000.

It was downloaded from http://lipforge.ens-lyon.fr/www/pff/

Upstream Authors: Laurent Théry <thery@sophia.inria.fr>
                  Sylvie Boldo <Sylvie.Boldo@ens-lyon.fr>
                  Laurence Rideau <lrg@sophia.inria.fr>
                  Laurent Fousse

Copyright (C) 2001 Laurent Thé
more»

Browse inside libfloat-coq_8.1-1.0-4_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libfloat-coq_8.1-1.0-4_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com