Skip to Content.
Sympa Menu

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

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 (a64e63a55786056acb831b80c93ae893bb38ec63)
  • Date: Fri, 18 Mar 2022 22:09:19 +0000

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

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

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

cbmc 5.53.0

diff --git a/devel/cbmc/DETAILS b/devel/cbmc/DETAILS
index 4a45aed..cc8d9ae 100755
--- a/devel/cbmc/DETAILS
+++ b/devel/cbmc/DETAILS
@@ -1,8 +1,8 @@
SPELL=cbmc
- VERSION=5.35.0
+ VERSION=5.53.0
SOURCE="$SPELL-$VERSION.tar.gz"
SOURCE_URL[0]=https://github.com/diffblue/cbmc/archive/$SOURCE
-
SOURCE_HASH=sha512:bbd6470989dcdcef6090301b4c0ffc32339993824ac25e2b87cba24ace330a4cf8454350456d40d21b1b5b5e52ff05cf7809871ebc9e165edb46c0abe8ec94a1
+
SOURCE_HASH=sha512:22236abff7f537173bd81d19a08a6cc821fafd54e41d80a4c0dfe4def2961dfca8d1db89998b5208dc67f458bd1c3a5f159744b5a36ae9f395f245fbcaf21301
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 cd6a9fd..564adf0 100644
--- a/devel/cbmc/HISTORY
+++ b/devel/cbmc/HISTORY
@@ -1,3 +1,6 @@
+2022-03-18 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 5.53.0
+
2021-07-25 Florian Franzmann <bwlf AT bandrate.org>
* DETAILS: version 5.35.0




  • [SM-Commit] GIT changes to master grimoire by Ismael Luceno (a64e63a55786056acb831b80c93ae893bb38ec63), Ismael Luceno, 03/18/2022

Archive powered by MHonArc 2.6.24.

Top of Page