From 1ac5da02ba0fe5e5bcf49640b4ce443154feb66e Mon Sep 17 00:00:00 2001
From: Ondra Lengal <ondra.lengal@gmail.com>
Date: Wed, 12 Jun 2024 23:23:50 +0200
Subject: [PATCH] fix behaviour on NIA - return unknown

---
 submissions/Amaya.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/submissions/Amaya.json b/submissions/Amaya.json
index 2c804e90..d50a5cad 100644
--- 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-v5.tar.gz",
-        "h": { "sha256": "a8bd768b2a15dd796f1524288eb59e1d1d46883349020c98d99796a6b6782bb5" }
+        "url": "https://github.com/VeriFIT/amaya-smt-comp/raw/master/archives/amaya-smt-comp-2024-v6.tar.gz",
+        "h": { "sha256": "5a2e5051741fa5ab1110bb5829304301f222e3aa23e2124fb8ad4e07041bc630" }
     },
     "website": "https://github.com/MichalHe/amaya",
     "system_description": "https://github.com/VeriFIT/amaya-smt-comp/blob/master/system-description-2024/main.pdf",