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 70712ff..608f073 100644 --- a/extra.old.json +++ b/extra.old.json @@ -2428,9 +2428,9 @@ "version": "v0.4.17" }, "synthv1": { - "version": "v1.1.2", - "gitref": "refs/tags/v1.1.2", - "revision": "a15062b9d45547dee63cb408fc31f9542456c5c3" + "version": "v1.1.3", + "gitref": "refs/tags/v1.1.3", + "revision": "0c39ab63930b61f9859213fccf3ee9e162b602e8" }, "t1utils": { "version": "v1.42" diff --git a/extra.old.json~ b/extra.old.json~ index cc14bf5..70712ff 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -2296,9 +2296,9 @@ "revision": "337af836d3b2d88413c1391495a94755af46f574" }, "samplv1": { - "version": "v1.1.2", - "gitref": "refs/tags/v1.1.2", - "revision": "a86d367727f2263251a960fbe67ea45c4f6597cf" + "version": "v1.1.3", + "gitref": "refs/tags/v1.1.3", + "revision": "a3d50fe46042518e4dfa1bdad2d6f541994aaede" }, "sane": { "version": "1.3.1", |