nixpkgs/pkgs/applications/science/logic/cryptominisat
R. RyanTM 4f1c44906c cryptominisat: 5.6.6 -> 5.6.8
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
2019-03-01 16:58:38 -08:00
..
default.nix cryptominisat: 5.6.6 -> 5.6.8 2019-03-01 16:58:38 -08:00