switch ThirdParty-ASL to stable/2.1

coin-or · Dec 7, 2024 · 294a4a2 · 294a4a2
1 parent 76eba51
commit 294a4a2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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