diff options
Diffstat (limited to 'extra.old.json')
| -rw-r--r-- | extra.old.json | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra.old.json b/extra.old.json index e31daaf..1dff885 100644 --- a/extra.old.json +++ b/extra.old.json @@ -259,7 +259,9 @@ "revision": "d519447937c4711db9ad3e783ab2b8121b39b996" }, "cri-tools": { - "version": "v1.29.0" + "version": "v1.30.0", + "gitref": "refs/tags/v1.30.0", + "revision": "87adf58b79394b151413c2e0ccfdc7e6332460dc" }, "csound": { "version": "6.18.1" |