Source Mage code commit list

[Ismael Luceno <scm AT sourcemage.org>]

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

 ChangeLog          |    4 ++--
 devel/cbmc/DETAILS |    4 ++--
 devel/cbmc/HISTORY |    3 +++
 3 files changed, 7 insertions(+), 4 deletions(-)

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

    cbmc 5.26.1

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

    Fix ChangeLog

diff --git a/ChangeLog b/ChangeLog
index dcdf801..fcbcd20 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-2021-03-28 Ismael Luceno <ismael AT sourcemage.org>
+2021-03-28 Treeve Jelbert <treeve AT sourcemage.org>
        * kde.gpg: add 6A4F2C4CDC8BC77F: "Aleix Pol Gonzalez 
<aleixpol AT kde.org>
        * xorg.gpg: update Matt Turner <mattst88 AT gmail.com>
 
@@ -7,7 +7,7 @@
        * python-pypi/python-gitdb: new spell, IO of git-style object 
databases
        * python-pypi/python-gitpython: new spell, Python library to interact 
with Git repositories
 
-2021-03-13 Ismael Luceno <ismael AT iodev.co.uk>
+2021-03-13 Ismael Luceno <ismael AT sourcemage.org>
        * VDEPENDS: Fixed spell version check for the grimoire
 
 2021-03-12 Ismael Luceno <ismael AT sourcemage.org>
diff --git a/devel/cbmc/DETAILS b/devel/cbmc/DETAILS
index f26dae1..f64ddd6 100755
--- a/devel/cbmc/DETAILS
+++ b/devel/cbmc/DETAILS
@@ -1,8 +1,8 @@
            SPELL=cbmc
-         VERSION=5.12
+         VERSION=5.26.1
           SOURCE="$SPELL-$VERSION.tar.gz"
    SOURCE_URL[0]=https://github.com/diffblue/cbmc/archive/$SOURCE
-     
SOURCE_HASH=sha512:b72599faae391722210e88f61634e794240c87d5ed8566746aeb894f86df1cdcb80661945a3b1e706ef4116a13846145143b58ca75577342bc288784c91b21b5
+     
SOURCE_HASH=sha512:a37186ffb58d695f518ff9a5b7e8f773fb567bb145b457403a9a3ff8892906588418e88cfbd08e4baab74a20837391a0c25b6a04192dfc9ba9a292bdcf67220e
 SOURCE_DIRECTORY="$BUILD_DIRECTORY/cbmc-cbmc-$VERSION"
         WEB_SITE="http://www.cprover.org/cbmc";
       LICENSE[0]=BSD-4
diff --git a/devel/cbmc/HISTORY b/devel/cbmc/HISTORY
index e72cb23..d04e59f 100644
--- a/devel/cbmc/HISTORY
+++ b/devel/cbmc/HISTORY
@@ -1,2 +1,5 @@
+2021-03-28 Ismael Luceno <ismael AT sourcemage.org>
+       * DETAILS: updated spell to 5.26.1
+
 2020-04-13 Ismael Luceno <ismael AT sourcemage.org>
        * BUILD, DEPENDS, DETAILS, INSTALL, PRE_BUILD: spell created