Install static libraries for CryptoMiniSat, Kissat, and CoCoA (#10786) #1786
Annotations
1 warning
|
Install dependencies
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
Loading