Skip to Content.
Sympa Menu

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

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 (a9641a395169f73aaeeb6c492a554b4159ebb73b)
  • Date: Tue, 30 Jan 2024 15:07:40 +0000

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

ChangeLog | 3 +++
devel/gnucobol/DETAILS | 15 +++++++++++++++
devel/gnucobol/HISTORY | 2 ++
devel/z3/DETAILS | 4 ++--
devel/z3/HISTORY | 3 +++
5 files changed, 25 insertions(+), 2 deletions(-)

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

gnucobol: new spell, A free/libre COBOL compiler

commit 31224bc2564c033e65f45719e0dbfa5f9e5757cd
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

z3 4.12.5

diff --git a/ChangeLog b/ChangeLog
index 10a85f9..60c4b1d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2024-01-30 Ismael Luceno <ismael AT sourcemage.org>
+ * devel/gnucobol: new spell, A free/libre COBOL compiler
+
2024-01-27 Treeve Jelbert <treeve AT sourcemage.org>
* vulkan/volk: added, meta loader for vulkan

diff --git a/devel/gnucobol/DETAILS b/devel/gnucobol/DETAILS
new file mode 100755
index 0000000..259f242
--- /dev/null
+++ b/devel/gnucobol/DETAILS
@@ -0,0 +1,15 @@
+ SPELL=gnucobol
+ VERSION=3.2
+ SOURCE="$SPELL-$VERSION.tar.lz"
+ SOURCE_URL[0]=$SOURCEFORGE_URL/project/$SPELL/$SPELL/$VERSION/$SOURCE
+
SOURCE_HASH=sha512:126d5b85ae486c558e2675c65f3fff4a5852aa71d307ec6cebaf352a5c607faac43018917c5d7b76e0f62d70f0d00d37ffe7aa44e58bb67fac86e2532f97d1ec
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
+ WEB_SITE="https://gnucobol.sourceforge.io/";
+ LICENSE[0]="GPL-3.0-or-later"
+ ENTERED=20240130
+ KEYWORDS=""
+ SHORT="A free/libre COBOL compiler"
+cat << EOF
+GnuCOBOL (formerly OpenCOBOL) is a transpiler from COBOL to C, thus produces
+native executables from COBOL source code.
+EOF
diff --git a/devel/gnucobol/HISTORY b/devel/gnucobol/HISTORY
new file mode 100644
index 0000000..dc3cd34
--- /dev/null
+++ b/devel/gnucobol/HISTORY
@@ -0,0 +1,2 @@
+2024-01-30 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: spell created
diff --git a/devel/z3/DETAILS b/devel/z3/DETAILS
index 543a8a9..4f83df2 100755
--- a/devel/z3/DETAILS
+++ b/devel/z3/DETAILS
@@ -1,10 +1,10 @@
SPELL=z3
- VERSION=4.11.2
+ VERSION=4.12.5
SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$SPELL-$VERSION"
WEB_SITE=https://github.com/Z3Prover/z3
SOURCE_URL=$WEB_SITE/archive/$SOURCE
-
SOURCE_HASH=sha512:be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
+
SOURCE_HASH=sha512:b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
LICENSE=(MIT)
SHORT="The Z3 Theorem Prover"
cat << EOF
diff --git a/devel/z3/HISTORY b/devel/z3/HISTORY
index dc14dba..0a07059 100644
--- a/devel/z3/HISTORY
+++ b/devel/z3/HISTORY
@@ -1,3 +1,6 @@
+2024-01-30 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 4.12.5
+
2022-09-04 Florian Franzmann <bwlf AT bandrate.org>
* DETAILS: version 4.11.2



  • [[SM-Commit] ] GIT changes to master grimoire by Ismael Luceno (a9641a395169f73aaeeb6c492a554b4159ebb73b), Ismael Luceno, 01/31/2024

Archive powered by MHonArc 2.6.24.

Top of Page