fix link

SMT-COMP · Jul 2, 2024 · f587ddf · f587ddf
1 parent 7bb3d44
commit f587ddf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/Amaya.json b/submissions/Amaya.json
@@ -5,7 +5,7 @@
     ],
     "contacts": ["Michal Hečko <[email protected]>", "Ondřej Lengál <[email protected]>"],
     "archive": {
-        "url": "https://zenodo.org/records/11625128/files/amaya-smt-comp-2024-v7.tar.gz",
+        "url": "https://zenodo.org/records/12627374/files/amaya-smt-comp-2024-v7.tar.gz",
         "h": { "sha256": "b3c22a524448ea7ca95e703256d329c1b620505f80924635a281feb8dc385804" }
     },
     "website": "https://github.com/MichalHe/amaya",