7 commits

Author	SHA1	Message	Date
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
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