Skip to Content.
Sympa Menu

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

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 (96ed8282dad50c6c92872e29d9bc2fdb9ed6329f)
  • Date: Sun, 28 Mar 2021 14:48:45 +0000

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



  • [SM-Commit] GIT changes to master grimoire by Ismael Luceno (96ed8282dad50c6c92872e29d9bc2fdb9ed6329f), Ismael Luceno, 03/28/2021

Archive powered by MHonArc 2.6.24.

Top of Page