From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 3EBEF138486 for ; Mon, 14 Jan 2013 14:11:00 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0FCF121C05A; Mon, 14 Jan 2013 14:10:57 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 569AD21C061 for ; Mon, 14 Jan 2013 14:10:56 +0000 (UTC) Received: from hornbill.gentoo.org (hornbill.gentoo.org [94.100.119.163]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 571D433DAC4 for ; Mon, 14 Jan 2013 14:10:55 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id 11FF0E4090 for ; Mon, 14 Jan 2013 14:10:53 +0000 (UTC) From: "Jonathan-Christofer Demay" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jonathan-Christofer Demay" Message-ID: <1358172553.75d868038d7834814bcce23e31ed16df0af7d31c.jcdemay@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/pff/ChangeLog sci-mathematics/pff/pff-8.3.ebuild sci-mathematics/pff/pff-8.4.ebuild X-VCS-Directories: sci-mathematics/pff/ X-VCS-Committer: jcdemay X-VCS-Committer-Name: Jonathan-Christofer Demay X-VCS-Revision: 75d868038d7834814bcce23e31ed16df0af7d31c X-VCS-Branch: master Date: Mon, 14 Jan 2013 14:10:53 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 30649c3e-69c5-40e8-ad79-f8d01dc7429d X-Archives-Hash: ce24be2a877fcc0b1cb1e3304f517123 commit: 75d868038d7834814bcce23e31ed16df0af7d31c Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Jan 14 14:09:13 2013 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Jan 14 14:09:13 2013 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=75d86803 sci-mathematics/pff: version bump --- sci-mathematics/pff/ChangeLog | 6 +++++- .../pff/{pff-8.3.ebuild => pff-8.4.ebuild} | 6 +++--- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog index a57d9e4..786088f 100644 --- a/sci-mathematics/pff/ChangeLog +++ b/sci-mathematics/pff/ChangeLog @@ -1,7 +1,11 @@ # ChangeLog for sci-mathematics/pff -# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 14 Jan 2013; J.-C. Demay + +pff-8.4.ebuild, -pff-8.3.ebuild: + version bump + 21 Dec 2011; J.-C. Demay +pff-8.3.ebuild, -pff-8.2.1.2.ebuild: version bump diff --git a/sci-mathematics/pff/pff-8.3.ebuild b/sci-mathematics/pff/pff-8.4.ebuild similarity index 84% rename from sci-mathematics/pff/pff-8.3.ebuild rename to sci-mathematics/pff/pff-8.4.ebuild index bd9fb77..9284b37 100644 --- a/sci-mathematics/pff/pff-8.3.ebuild +++ b/sci-mathematics/pff/pff-8.4.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2009 Gentoo Foundation +# Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ EAPI="2" -DESCRIPTION="Library for reasoning about floating point numbers in coq." +DESCRIPTION="Library for reasoning about floating point numbers in coq" HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/" -SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/163/Float${PV}.tgz" +SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/165/Float${PV}.tgz" LICENSE="LGPL-2" SLOT="0"