bugfix

Author: ondrik

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/15630086/files/amaya-smtcomp25-v2.tar.gz",
+        "url": "https://zenodo.org/records/15630432/files/amaya-smtcomp25-v2.tar.gz",
         "h": { "sha256": "133058d14b7cb1ef45261e9d02ef3e6f76589dd3551c73870e318e2d3a75ad54" }
     },
     "website": "https://github.com/MichalHe/amaya",