Merge pull request #9 from scipopt/use-github-links

Move to github hosted binaries
scipopt · Mar 13, 2024 · fc371da · fc371da
2 parents 21eb7d3 + 264608e
commit fc371da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.rs b/build.rs
@@ -184,7 +184,7 @@ fn download_scip() {
     };
 
     let url = format!(
-        "https://scip.zib.de/download/release/SCIP-9.0.0-{os_string}.zip"
+        "https://github.com/scipopt/scip/releases/download/v900/SCIP-9.0.0-{os_string}.zip"
     );
 
     download_and_extract_zip(&url, &extract_path).unwrap_or_else(