Package "coq-float"

Name:	coq-float
Description:	This package is just an umbrella for a group of other packages, it has no description. Description samples from packages in group: Coq library on floating-point arithmetic
Latest version:	1:8.2-1.2-9
Release:	precise (12.04)
Level:	base
Repository:	universe

Links

Raw Package Information

All versions of this package

List of files in package

Repository home page

Other versions of "coq-float" in Precise

No other version of this package is available in the Precise release.

Packages in group

Deleted packages are displayed in grey.

libfloat-coq

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