nixpkgs/pkgs/applications/science/logic/monosat
Aiken Cairncross 15dbd8de7c monosat: 60528a3 -> 1.8.0
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
2019-10-15 16:52:25 -04:00
..
default.nix monosat: 60528a3 -> 1.8.0 2019-10-15 16:52:25 -04:00