From 5b8c99e8df0d2ebf8609b8f22ca5bc675361c801 Mon Sep 17 00:00:00 2001 From: Stefan Vigerske Date: Sat, 7 Dec 2024 16:20:58 +0100 Subject: [PATCH] switch ASL to stable/2.1 --- .coin-or/Dependencies | 2 +- .coin-or/config.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.coin-or/Dependencies b/.coin-or/Dependencies index 849ac9c8..31bccbfc 100644 --- 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/Mumps https://github.com/coin-or-tools/ThirdParty-Mumps stable/3.0 ThirdParty/Glpk https://github.com/coin-or-tools/ThirdParty-Glpk master Data/Netlib https://github.com/coin-or-tools/Data-Netlib master diff --git a/.coin-or/config.yml b/.coin-or/config.yml index 9a1da184..114ecd1c 100644 --- a/.coin-or/config.yml +++ b/.coin-or/config.yml @@ -35,7 +35,7 @@ Description: Dependencies: - Description: ThirdParty wrapper for building ASL URL: https://github.com/coin-or-tools/ThirdParty-ASL - Version: 2.0 + Version: 2.1 Required: Optional - Description: ThirdParty wrapper for building Mumps URL: https://github.com/coin-or-tools/ThirdParty-Mumps