Gentoo Logo
Gentoo Spaceship




Note: Due to technical difficulties, the Archives are currently not up to date. GMANE provides an alternative service for most mailing lists.
c.f. bug 424647
List Archive: gentoo-science
Navigation:
Lists: gentoo-science: < Prev By Thread Next > < Prev By Date Next >
Headers:
To: gentoo-science@g.o
From: James Cloos <cloos+gentoo-science@...>
Subject: sci-mathematics/flocq-1.4.0 is available
Date: Mon, 18 Apr 2011 17:13:56 -0400
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@...>         OpenPGP: 1024D/ED7DAEA6


Navigation:
Lists: gentoo-science: < Prev By Thread Next > < Prev By Date Next >
Previous by thread:
fltk DEPEND problem in drawxtl ebuilds
Next by thread:
g-cran master and portage master incompatible
Previous by date:
Re: fltk DEPEND problem in drawxtl ebuilds
Next by date:
g-cran master and portage master incompatible


Updated Jun 15, 2012

Summary: Archive of the gentoo-science mailing list.

Donate to support our development efforts.

Copyright 2001-2013 Gentoo Foundation, Inc. Questions, Comments? Contact us.