Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Ismael Luceno (442aadd2dc1cd59739a649c6bb1c826cc8513d37)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Ismael Luceno <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Ismael Luceno (442aadd2dc1cd59739a649c6bb1c826cc8513d37)
  • Date: Mon, 19 Aug 2019 19:23:51 +0000

GIT changes to master grimoire by Ismael Luceno <ismael AT sourcemage.org>:

devel/coq/DETAILS | 6 +++---
devel/coq/HISTORY | 3 +++
x11-toolkits/lablgtk2/DETAILS | 6 +++---
x11-toolkits/lablgtk2/HISTORY | 3 +++
4 files changed, 12 insertions(+), 6 deletions(-)

New commits:
commit 442aadd2dc1cd59739a649c6bb1c826cc8513d37
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

coq 8.9.1

commit 3eb8af77c820aa31542ffb91cdcd746a885be0d5
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

lablgtk2 2.18.8

diff --git a/devel/coq/DETAILS b/devel/coq/DETAILS
index a4d299d..ab0f9d9 100755
--- a/devel/coq/DETAILS
+++ b/devel/coq/DETAILS
@@ -1,8 +1,8 @@
SPELL=coq
- VERSION=8.8.2
+ VERSION=8.9.1
SOURCE="${SPELL}-${VERSION}.tar.gz"
- SOURCE_URL[0]=http://${SPELL}.inria.fr/distrib/V${VERSION}/files/${SOURCE}
-
SOURCE_HASH=sha512:b0f0480fe052fced6016014cf1872d4e004b0dacb779927376d797c279aca9d5f6f4ed3d0f5ee5d42748bbd5c29b43f7a69748564a12a116bcc7ba3b052d8954
+ SOURCE_URL[0]=https://github.com/coq/coq/archive/V$VERSION.tar.gz
+
SOURCE_HASH=sha512:66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983
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 be6780e..610651b 100644
--- a/devel/coq/HISTORY
+++ b/devel/coq/HISTORY
@@ -1,3 +1,6 @@
+2019-08-19 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 8.9.1
+
2018-11-18 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS, DEPENDS, BUILD: version 8.8.2

diff --git a/x11-toolkits/lablgtk2/DETAILS b/x11-toolkits/lablgtk2/DETAILS
index 963f24a..cc38195 100755
--- a/x11-toolkits/lablgtk2/DETAILS
+++ b/x11-toolkits/lablgtk2/DETAILS
@@ -1,9 +1,9 @@
SPELL=lablgtk2
- VERSION=2.18.6
-
SOURCE_HASH=sha512:0d30da0e4a93b1693ac6d63161d40c8cd6d9337e105a65f3cc01b013ce7ca04aa5e1a013527cb0728a9b7b7af20d0f4c8b0cc7f9102e553dff3cf8bc83a14e5e
+ VERSION=2.18.8
+
SOURCE_HASH=sha512:1510b8886dd55b82fbc96f333d84779f51a4794d13b0934569d13b1975ded9ec684855b9856f636fb302fd8ff2f118d0d5f3ffb2b8086d22cdad442e963868ae
SOURCE=lablgtk-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/lablgtk-$VERSION
- SOURCE_URL[0]=http://forge.ocamlcore.org/frs/download.php/1726/$SOURCE
+
SOURCE_URL[0]="https://github.com/garrigue/lablgtk/releases/download/lablgtk${VERSION//.}/$SOURCE";
WEB_SITE=http://forge.ocamlcore.org/projects/lablgtk/
ENTERED=20040926
LICENSE[0]=GPL
diff --git a/x11-toolkits/lablgtk2/HISTORY b/x11-toolkits/lablgtk2/HISTORY
index 1b0d974..1a5ef28 100644
--- a/x11-toolkits/lablgtk2/HISTORY
+++ b/x11-toolkits/lablgtk2/HISTORY
@@ -1,3 +1,6 @@
+2019-08-19 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 2.18.8
+
2018-11-17 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 2.18.6
* INSTALL: use the old-install target if findlib is not installed



  • [SM-Commit] GIT changes to master grimoire by Ismael Luceno (442aadd2dc1cd59739a649c6bb1c826cc8513d37), Ismael Luceno, 08/19/2019

Archive powered by MHonArc 2.6.24.

Top of Page