diff options
| -rw-r--r-- | extra.old.json | 6 | ||||
| -rw-r--r-- | extra.old.json~ | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/extra.old.json b/extra.old.json index 74f7658..cdec464 100644 --- a/extra.old.json +++ b/extra.old.json @@ -2383,9 +2383,9 @@ "version": "v0.4.17" }, "synthv1": { - "version": "v1.1.0", - "gitref": "refs/tags/v1.1.0", - "revision": "093612e67c1fef1ef369c6508ebc111bf29246af" + "version": "v1.1.1", + "gitref": "refs/tags/v1.1.1", + "revision": "7c6a3322bd70d48562b31efcf715b7cc10f6537e" }, "t1utils": { "version": "v1.42" diff --git a/extra.old.json~ b/extra.old.json~ index 8708aaa..74f7658 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -2253,9 +2253,9 @@ "revision": "65cc6ec41db50879f7e9711e2b8c74b895ba68e8" }, "samplv1": { - "version": "v1.1.0", - "gitref": "refs/tags/v1.1.0", - "revision": "4e9555daf1ab93969a66e315c552ca5000ecaed3" + "version": "v1.1.1", + "gitref": "refs/tags/v1.1.1", + "revision": "b2d6c2f2fa4899c0619d435f5297690b6762f8be" }, "sane": { "version": "1.3.1", |