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 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" |