1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 18:42:15 +00:00
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