ThirdParty/ASL     https://github.com/coin-or-tools/ThirdParty-ASL   stable/2.0
ThirdParty/HSL     https://github.com/coin-or-tools/ThirdParty-HSL   stable/2.2
ThirdParty/Mumps   https://github.com/coin-or-tools/ThirdParty-Mumps stable/3.0
