change to Zenodo

SMT-COMP · Jun 13, 2024 · b5bcd4c · b5bcd4c
1 parent 0751b8c
commit b5bcd4c
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://github.com/VeriFIT/amaya-smt-comp/raw/master/archives/amaya-smt-comp-2024-v6.tar.gz",
+        "url": "https://zenodo.org/records/11625128/files/amaya-smt-comp-2024-v6.tar.gz",
         "h": { "sha256": "5a2e5051741fa5ab1110bb5829304301f222e3aa23e2124fb8ad4e07041bc630" }
     },
     "website": "https://github.com/MichalHe/amaya",