From: "Jonathan-Christofer Demay" <jcdemay@gmail.com>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/
Date: Mon, 14 Jan 2013 14:10:53 +0000 (UTC) [thread overview]
Message-ID: <1358172553.75d868038d7834814bcce23e31ed16df0af7d31c.jcdemay@gentoo> (raw)
commit: 75d868038d7834814bcce23e31ed16df0af7d31c
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Jan 14 14:09:13 2013 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> 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 <jcdemay@gmail.com>
+ +pff-8.4.ebuild, -pff-8.3.ebuild:
+ version bump
+
21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+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"
next reply other threads:[~2013-01-14 14:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-14 14:10 Jonathan-Christofer Demay [this message]
-- strict thread matches above, loose matches on Subject: below --
2014-09-16 17:01 [gentoo-commits] proj/sci:master commit in: sci-mathematics/pff/ Christoph Junghans
2012-02-06 14:37 Jonathan-Christofer Demay
2011-06-25 17:22 Justin Lecher
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1358172553.75d868038d7834814bcce23e31ed16df0af7d31c.jcdemay@gentoo \
--to=jcdemay@gmail.com \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox