output format

SMT-COMP · Jun 1, 2024 · 7d6c84e · 7d6c84e
1 parent e8a17b4
commit 7d6c84e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/submissions/Amaya.json b/submissions/Amaya.json
@@ -5,8 +5,8 @@
     ],
     "contacts": ["Michal Hečko <mhecko@proton.me>", "Ondřej Lengál <ondra.lengal@gmail.com>"],
     "archive": {
-        "url": "https://github.com/VeriFIT/amaya-smt-comp/raw/master/archives/amaya-smt-comp-2024-v4.tar.gz",
-        "h": { "sha256": "bf40d380000c7db7ad2313ceeae4539205a4461199c170b97c89aa6bc5656fd8" }
+        "url": "https://github.com/VeriFIT/amaya-smt-comp/raw/master/archives/amaya-smt-comp-2024-v5.tar.gz",
+        "h": { "sha256": "a8bd768b2a15dd796f1524288eb59e1d1d46883349020c98d99796a6b6782bb5" }
     },
     "website": "https://github.com/MichalHe/amaya",
     "system_description": "https://github.com/VeriFIT/amaya-smt-comp/blob/master/system-description-2024/main.pdf",