Skip to Content.
Sympa Menu

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

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, sm-commit AT lists.sourcemage.org
  • Subject: [[SM-Commit] ] GIT changes to master grimoire by Ismael Luceno (373c7f12c62c6f2886948236101f271288c104e5)
  • Date: Sat, 1 Feb 2025 09:37:04 +0000

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

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

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

guile 3.0.10

commit 78279859d568be583834a362b69e1b5eaaa6771c
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

cbmc 6.4.1

diff --git a/devel/cbmc/DETAILS b/devel/cbmc/DETAILS
index 1f7c54c..2286ef7 100755
--- a/devel/cbmc/DETAILS
+++ b/devel/cbmc/DETAILS
@@ -1,9 +1,9 @@
# Watch: https://github.com/diffblue/cbmc/tags cbmc-([0-9.]+)[.]tar
SPELL=cbmc
- VERSION=6.1.1
+ VERSION=6.4.1
SOURCE="$SPELL-$VERSION.tar.gz"
SOURCE_URL[0]=https://github.com/diffblue/cbmc/archive/$SOURCE
-
SOURCE_HASH=sha512:45250b23d8ae3a736ffd5a76ff2f82c9fdbb7afbd1df93e7e4737a742c3f573efc29528a2ec8b2907227dff29b099e3d17fc6960acf6d50f31e0c73ce4886073
+
SOURCE_HASH=sha512:74bfdae9c203e81f34584fbb5f4f3d8b3b25bb3b6ae1d9254ac6c0ccd28090d3a6a0b1d66899d71f3f3dac4fcebca1f046633d88d5b0ab09e53390402d7ed329
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 15f9e98..8a8cffc 100644
--- a/devel/cbmc/HISTORY
+++ b/devel/cbmc/HISTORY
@@ -1,3 +1,6 @@
+2025-02-01 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 6.4.1
+
2024-08-23 Ismael Luceno <ismael AT sourcemage.org>
* DETAILS: updated spell to 6.1.1
* PRE_BUILD: added apply_patch_dir
diff --git a/devel/guile/DETAILS b/devel/guile/DETAILS
index 65f41cd..0e9c4b8 100755
--- a/devel/guile/DETAILS
+++ b/devel/guile/DETAILS
@@ -1,6 +1,6 @@
# Watch: https://ftp.gnu.org/gnu/guile
SPELL=guile
- VERSION=3.0.9
+ VERSION=3.0.10
SOURCE=$SPELL-$VERSION.tar.xz
SOURCE2=$SOURCE.sig
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
diff --git a/devel/guile/HISTORY b/devel/guile/HISTORY
index 803a54c..786885f 100644
--- a/devel/guile/HISTORY
+++ b/devel/guile/HISTORY
@@ -1,3 +1,6 @@
+2025-02-01 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 3.0.10
+
2023-03-26 Ismael Luceno <ismael AT sourcemage.org>
* DETAILS: updated spell to 3.0.9



  • [[SM-Commit] ] GIT changes to master grimoire by Ismael Luceno (373c7f12c62c6f2886948236101f271288c104e5), Ismael Luceno, 02/01/2025

Archive powered by MHonArc 2.6.24.

Top of Page