* [gentoo-science] sci-mathematics/flocq-1.4.0 is available
@ 2011-04-18 21:13 James Cloos
0 siblings, 0 replies; only message in thread
From: James Cloos @ 2011-04-18 21:13 UTC (permalink / raw
To: gentoo-science
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@jhcloos.com> OpenPGP: 1024D/ED7DAEA6
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-04-18 21:16 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-04-18 21:13 [gentoo-science] sci-mathematics/flocq-1.4.0 is available James Cloos
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox