Source Mage code commit list

[Ismael Luceno <scm AT sourcemage.org>]

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