Gentoo Linux -- List Archive: gentoo-science

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.