fix

Bazoka13 · Bazoka13 · commit a5d65c7520fc · 2025-06-13T15:38:08.000+08:00
diff --git a/submissions/Z3-Noodler-Mocha.json b/submissions/Z3-Noodler-Mocha.json
@@ -8,7 +8,7 @@
         "Shaoke Cui <cuisk@buaa.edu.cn>"
     ],
     "archive": {
-        "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/noodler-mocha.tar.gz"
+        "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/noodler-mocha.tar.gz"
     },
     "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025",
     "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/Z3_Noodler_Mocha_at_SMT_Comp_2025.pdf",
diff --git a/submissions/Z3-Noodler.json b/submissions/Z3-Noodler.json
@@ -1,7 +1,7 @@
 {
     "name": "Z3-Noodler",
     "archive": {
-        "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/base_solver.tar.gz"
+        "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/base_solver.tar.gz"
     },
     "contributors": [
         "Vojtěch Havlena",

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "Z3-Noodler",`
`3`	`3`	`"archive": {`
`4`		`- "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/base_solver.tar.gz"`
	`4`	`+ "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/base_solver.tar.gz"`
`5`	`5`	`},`
`6`	`6`	`"contributors": [`
`7`	`7`	`"Vojtěch Havlena",`