Gentoo Archives: gentoo-science

From: James Cloos <cloos+gentoo-science@×××××××.com>
To: gentoo-science@l.g.o
Subject: [gentoo-science] sci-mathematics/flocq-1.4.0 is available
Date: Mon, 18 Apr 2011 21:16:16
Message-Id: m3aafn6z4j.fsf@jhcloos.com
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 <cloos@×××××××.com>         OpenPGP: 1024D/ED7DAEA6