From f587ddfbe94e3b21955489bf09ca3b5497841066 Mon Sep 17 00:00:00 2001 From: Ondra Lengal Date: Tue, 2 Jul 2024 18:51:42 +0200 Subject: [PATCH] fix link --- submissions/Amaya.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Amaya.json b/submissions/Amaya.json index 66243045..6dc12b6f 100644 --- a/submissions/Amaya.json +++ b/submissions/Amaya.json @@ -5,7 +5,7 @@ ], "contacts": ["Michal Hečko ", "Ondřej Lengál "], "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",