Merge pull request #172641 from WolfangAukang/monosat-fix
python3Packages.monosat: disable failing testsmain
commit
1919e181fb
Loading…
Reference in new issue