5 commits

Author	SHA1	Message	Date
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
Jörg Thalheim	37fe593d48	cryptominisat: switch to python3	2019-01-05 16:38:10 +01:00
Jörg Thalheim	4a4d1d6497	cryptominisat: 5.0.1 -> 5.6.6	2019-01-05 12:45:44 +01:00
Peter Hoeg	45248be2aa	cryptominisat: use new xxd package instead of vim	2017-07-24 09:37:58 +08:00
Jörg Thalheim	893c7b6112	cryptominisat: init at 5.0.1	2017-05-22 22:25:14 +01:00