The diff from the sci-mathematics/flocq-1.2.ebuild is: --- /Gentoo/proj/sci/sci-mathematics/flocq/flocq-1.2.ebuild 2011-02-14 18:26:11.261226635 +0000 +++ /local/sci-mathematics/flocq/flocq-1.4.0.ebuild 2011-04-18 20:58:38.639550283 +0000 @@ -8,7 +8,7 @@ DESCRIPTION="A floating-point formalization for the Coq system." HOMEPAGE="http://flocq.gforge.inria.fr/"; -SRC_URI="https://gforge.inria.fr/frs/download.php/28156/${P}.tar.gz"; +SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"; LICENSE="LGPL-3" SLOT="0"
It merges fine with sci-mathematics/coq-8.3_p1 installed. (Unlike flocq-1.2, which doesn't merge.) -JimC -- James Cloos <[email protected]> OpenPGP: 1024D/ED7DAEA6
