1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index 82215ab..13e9eac 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -300,9 +300,9 @@
       "revision": "e9e365de6927341bd249fff2ee987a39491e017d"
     },
     "cri-tools": {
-      "version": "v1.30.1",
-      "gitref": "refs/tags/v1.30.1",
-      "revision": "b633b386d6ec2c5743999a56c7df332b43759f9a"
+      "version": "v1.31.1",
+      "gitref": "refs/tags/v1.31.1",
+      "revision": "ea669ca726b21585ee9c94276391eea5b486da46"
     },
     "csound": {
       "version": "6.18.1"