volth
|
f3282c8d1e
|
treewide: remove unused variables (#63177)
* treewide: remove unused variables
* making ofborg happy
|
2019-06-16 19:59:05 +00:00 |
|
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 |
|