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