Package "libfloat-coq"
| Name: | libfloat-coq |
Description: |
Coq library on floating-point arithmetic |
| Latest version: | 1:8.2-1.2-9 |
| Release: | precise (12.04) |
| Level: | base |
| Repository: | universe |
| Head package: | coq-float |
| Homepage: | http://lipforge.ens-lyon.fr/www/pff/ |
Links
Download "libfloat-coq"
Other versions of "libfloat-coq" in Precise
No other version of this package is available in the Precise release.Changelog
| Version: *DELETED* | 2012-03-06 11:28:15 UTC |
|---|---|
| No changelog for deleted or moved packages. | |
| Version: 1:8.2-1.2-9 | 2012-01-08 04:04:48 UTC |
|---|---|
|
coq-float (1:8.2-1.2-9) unstable; urgency=low * Rebuild with Coq 8.3pl3 (no source changes) -- Stéphane Glondu Sun, 25 Dec 2011 17:51:31 +0100 |
|
| Source diff to previous version | |
| Version: 1:8.2-1.2-8build2 | 2012-01-07 20:03:00 UTC |
|---|---|
|
coq-float (1:8.2-1.2-8build2) precise; urgency=low * No-change rebuild against new coq -- Andreas Moog Sat, 07 Jan 2012 18:36:51 +0100 |
|
| Version: *DELETED* | 2011-12-18 14:45:55 UTC |
|---|---|
| No changelog for deleted or moved packages. | |
About
-
Send Feedback to @ubuntu_updates
