Jörg Thalheim 223c91d032 cryptominisat: use fetchpatch		2020-07-09 08:21:21 +01:00
..
default.nix	cryptominisat: use fetchpatch	2020-07-09 08:21:21 +01:00