From: "Jonathan-Christofer Demay" <jcdemay@gmail.com>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
Date: Sun, 13 Feb 2011 18:02:17 +0000 (UTC) [thread overview]
Message-ID: <a261387960721c0cf0b489530be6e55fdd446c09.jcdemay@gentoo> (raw)
commit: a261387960721c0cf0b489530be6e55fdd446c09
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sun Feb 13 20:04:58 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sun Feb 13 20:04:58 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=a2613879
sci-mathematics/gappalib-coq: version bump
---
sci-mathematics/gappalib-coq/ChangeLog | 6 +++++-
...-coq-0.13.ebuild => gappalib-coq-0.14.1.ebuild} | 2 +-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index b1f4665..db6238a 100644
--- a/sci-mathematics/gappalib-coq/ChangeLog
+++ b/sci-mathematics/gappalib-coq/ChangeLog
@@ -3,8 +3,12 @@
# $Header: $
04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+ +gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild:
+ version bump
+
+ 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+gappalib-coq-0.13.ebuild, -gappalib-coq-0.12.ebuild:
- Version bump
+ version bump
04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.13.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
similarity index 92%
rename from sci-mathematics/gappalib-coq/gappalib-coq-0.13.ebuild
rename to sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
index 1cbd85e..3d8df49 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.13.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
@@ -6,7 +6,7 @@ EAPI="2"
DESCRIPTION="This library allows the certificates Gappa generates to be imported by the Coq."
HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="http://gforge.inria.fr/frs/download.php/24390/${P}.tar.gz"
+SRC_URI="http://gforge.inria.fr/frs/download.php/28157/${P}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
next reply other threads:[~2011-02-13 18:02 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-13 18:02 Jonathan-Christofer Demay [this message]
-- strict thread matches above, loose matches on Subject: below --
2011-02-17 5:53 [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/ Jonathan-Christofer Demay
2011-06-25 17:22 Justin Lecher
2012-02-06 14:33 Jonathan-Christofer Demay
2014-01-18 7:38 Justin Lecher
2014-01-18 7:39 Justin Lecher
2014-09-16 17:01 Christoph Junghans
2021-03-04 12:09 Andrew Ammerlaan
2021-03-04 12:09 Andrew Ammerlaan
2023-01-03 19:09 Andrew Ammerlaan
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=a261387960721c0cf0b489530be6e55fdd446c09.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