Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Florian Franzmann (9d1488cffc945f9500432feb56a277b3fd57f08c)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Florian Franzmann <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Florian Franzmann (9d1488cffc945f9500432feb56a277b3fd57f08c)
  • Date: Sun, 9 Sep 2012 15:52:30 -0500

GIT changes to master grimoire by Florian Franzmann
<siflfran AT hawo.stw.uni-erlangen.de>:

devel/coq/DETAILS | 4 ++--
devel/coq/HISTORY | 3 +++
2 files changed, 5 insertions(+), 2 deletions(-)

New commits:
commit 9d1488cffc945f9500432feb56a277b3fd57f08c
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/coq: version 8.4

diff --git a/devel/coq/DETAILS b/devel/coq/DETAILS
index 931ecf5..0473188 100755
--- a/devel/coq/DETAILS
+++ b/devel/coq/DETAILS
@@ -1,8 +1,8 @@
SPELL=coq
- VERSION=8.3pl3
+ VERSION=8.4
SOURCE="${SPELL}-${VERSION}.tar.gz"
SOURCE_URL[0]=http://${SPELL}.inria.fr/distrib/V${VERSION}/files/${SOURCE}
-
SOURCE_HASH=sha512:c80d9dd13fdeba632e8db3e49fb210546ddfc665b7a7dedbdaad1a1e2533e2e526871d8995837c4806f322eb7c4b86a7ac0762167bcec54ac90a06b3eb246b50
+
SOURCE_HASH=sha512:c9429ecb8c692d45c91d9c3dad093cb2e51f0af63ec99643eea584373156d0cd46a6e1eb278482e57dbf37ef59752506faa8485584445763e05d2ab06dfeab49
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://coq.inria.fr";
LICENSE[0]=GPL
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY
index c5380fe..a5a9fff 100644
--- a/devel/coq/HISTORY
+++ b/devel/coq/HISTORY
@@ -1,3 +1,6 @@
+2012-09-09 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 8.4
+
2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* BUILD, DEPENDS, DETAILS, PRE_BUILD: spell created




  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (9d1488cffc945f9500432feb56a277b3fd57f08c), Florian Franzmann, 09/09/2012

Archive powered by MHonArc 2.6.24.

Top of Page