Archives
Archives
| 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 |
| 1 | The diff from the sci-mathematics/flocq-1.2.ebuild is: |
| 2 | |
| 3 | --- /Gentoo/proj/sci/sci-mathematics/flocq/flocq-1.2.ebuild 2011-02-14 18:26:11.261226635 +0000 |
| 4 | +++ /local/sci-mathematics/flocq/flocq-1.4.0.ebuild 2011-04-18 20:58:38.639550283 +0000 |
| 5 | @@ -8,7 +8,7 @@ |
| 6 | |
| 7 | DESCRIPTION="A floating-point formalization for the Coq system." |
| 8 | HOMEPAGE="http://flocq.gforge.inria.fr/" |
| 9 | -SRC_URI="https://gforge.inria.fr/frs/download.php/28156/${P}.tar.gz" |
| 10 | +SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz" |
| 11 | |
| 12 | LICENSE="LGPL-3" |
| 13 | SLOT="0" |
| 14 | |
| 15 | |
| 16 | It merges fine with sci-mathematics/coq-8.3_p1 installed. |
| 17 | |
| 18 | (Unlike flocq-1.2, which doesn't merge.) |
| 19 | |
| 20 | -JimC |
| 21 | -- |
| 22 | James Cloos <cloos@×××××××.com> OpenPGP: 1024D/ED7DAEA6 |