diff options
| -rw-r--r-- | extra.old.json | 4 | ||||
| -rw-r--r-- | extra.old.json~ | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/extra.old.json b/extra.old.json index 87a9b43..68aeeb4 100644 --- a/extra.old.json +++ b/extra.old.json @@ -2416,7 +2416,9 @@ "version": "5.0.1" }, "stochas": { - "version": "v1.3.10" + "version": "v1.3.12", + "gitref": "refs/tags/v1.3.12", + "revision": "c49e2a199e68c99235ae54b73612c1ebce45c5ce" }, "suil": { "version": "v0.10.20" diff --git a/extra.old.json~ b/extra.old.json~ index 6e29c5b..87a9b43 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -2331,9 +2331,9 @@ "revision": "32ca4fd351eb61c2e9cd2a314b686058ed0ce654" }, "sequoia-sq": { - "version": "v0.38.0", - "gitref": "refs/tags/v0.38.0", - "revision": "58add827894a2284de17bef09fa961070ad4bef0" + "version": "v0.39.0", + "gitref": "refs/tags/v0.39.0", + "revision": "da05caa365a48eb668efccd273b614fa5f8bdb3c" }, "sequoia-wot": { "version": "v0.11.0" |