switch ThirdParty-ASL to stable/2.1

svigerske · svigerske · commit 370fffb17006 · 2024-12-07T16:56:18.000+01:00
diff --git a/.coin-or/Dependencies b/.coin-or/Dependencies
@@ -1,4 +1,4 @@
-ThirdParty/ASL    https://github.com/coin-or-tools/ThirdParty-ASL stable/2.0
+ThirdParty/ASL    https://github.com/coin-or-tools/ThirdParty-ASL stable/2.1
 ThirdParty/Glpk   https://github.com/coin-or-tools/ThirdParty-Glpk master
 ThirdParty/Mumps  https://github.com/coin-or-tools/ThirdParty-Mumps stable/3.0
 Data/Sample       https://github.com/coin-or-tools/Data-Sample master
diff --git a/.coin-or/config.yml b/.coin-or/config.yml
@@ -22,7 +22,7 @@ Description:
 Dependencies:
   - Description: ThirdParty wrapper for building ASL
     URL: https://github.com/coin-or-tools/ThirdParty-ASL
-    Version: stable/2.0
+    Version: stable/2.1
     Required: Optional
   - Description: ThirdParty wrapper for building Glpk
     URL: https://github.com/coin-or-tools/ThirdParty-Glpk

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-ThirdParty/ASL https://github.com/coin-or-tools/ThirdParty-ASL stable/2.0`
	`1`	`+ThirdParty/ASL https://github.com/coin-or-tools/ThirdParty-ASL stable/2.1`
`2`	`2`	`ThirdParty/Glpk https://github.com/coin-or-tools/ThirdParty-Glpk master`
`3`	`3`	`ThirdParty/Mumps https://github.com/coin-or-tools/ThirdParty-Mumps stable/3.0`
`4`	`4`	`Data/Sample https://github.com/coin-or-tools/Data-Sample master`