diff options
-rw-r--r-- | extra.old.json | 4 | ||||
-rw-r--r-- | extra.old.json~ | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json index 1dff885..db9efb2 100644 --- a/extra.old.json +++ b/extra.old.json @@ -1532,8 +1532,8 @@ "version": "1.0.1" }, "python-orjson": { - "version": "3.10.2", - "url": "https://pypi.org/project/orjson/3.10.2/" + "version": "3.10.3", + "url": "https://pypi.org/project/orjson/3.10.3/" }, "python-osc": { "version": "1.8.3" 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" |