2 files changed, 6 insertions, 2 deletions
diff --git a/extra.old.json b/extra.old.json
index f58ae27..0e2c126 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -2291,7 +2291,9 @@
       "version": "v0.4.17"
     },
     "synthv1": {
-      "version": "synthv1_0_9_34"
+      "version": "v1.0.0",
+      "gitref": "refs/tags/v1.0.0",
+      "revision": "cf674c587aa472fbd8a21dd279dcc030de6c8504"
     },
     "t1utils": {
       "version": "v1.42"
diff --git a/extra.old.json~ b/extra.old.json~
index 55215f7..f58ae27 100644
--- a/extra.old.json~
+++ b/extra.old.json~
@@ -1163,7 +1163,9 @@
       "version": "v3.0.5"
     },
     "padthv1": {
-      "version": "padthv1_0_9_34"
+      "version": "v1.0.0",
+      "gitref": "refs/tags/v1.0.0",
+      "revision": "0a078a007a076985ec81c91b92009a3e884c6102"
     },
     "passt": {
       "version": "2024_06_24.1ee2eca",