[COLIBRI] Fix url

SMT-COMP · Jun 4, 2024 · 7d16ef5 · 7d16ef5
1 parent 06e94cd
commit 7d16ef5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json
@@ -5,7 +5,7 @@
     ],
     "contacts": ["Christophe Junke <[email protected]>"],
     "archive": {
-        "url": "https://drive.google.com/file/d/1lJjQNgHRF14sGEW84eJ6tBsZ0-DBPMW2/view?usp=drive_link",
+        "url": "https://drive.google.com/uc?export=download&id=1lJjQNgHRF14sGEW84eJ6tBsZ0-DBPMW2",
         "h": { "sha256": "829fb89fc4a61dbc3180f400d75a283e967fef9c910ce4404a824608fb0b1c58" }
     },
     "website": "http://colibri.frama-c.com/",