1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index da74bdb..d387a88 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -298,9 +298,9 @@
       "revision": "5a87f94ad2ba0ee295d04d50179bd4f23f14dc31"
     },
     "cri-tools": {
-      "version": "v1.30.0",
-      "gitref": "refs/tags/v1.30.0",
-      "revision": "87adf58b79394b151413c2e0ccfdc7e6332460dc"
+      "version": "v1.30.1",
+      "gitref": "refs/tags/v1.30.1",
+      "revision": "b633b386d6ec2c5743999a56c7df332b43759f9a"
     },
     "csound": {
       "version": "6.18.1"