| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: editorconfig fixes | zowoq | 2021-01-20 |
| * | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
| * | cryptominisat: use fetchpatch | Jörg Thalheim | 2020-07-09 |
| * | cryptominisat: fix build on darwin | Jörg Thalheim | 2020-07-09 |
| * | cryptominisat: 5.7.1 -> 5.8.0 | R. RyanTM | 2020-07-08 |
| * | cryptominisat: 5.7.0 -> 5.7.1 | R. RyanTM | 2020-05-27 |
| * | cryptominisat: 5.6.8 -> 5.7.0 | R. RyanTM | 2020-05-04 |
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | treewide: remove unused variables (#63177) | volth | 2019-06-16 |
| * | cryptominisat: 5.6.6 -> 5.6.8 | R. RyanTM | 2019-03-01 |
| * | cryptominisat: switch to python3 | Jörg Thalheim | 2019-01-05 |
| * | cryptominisat: 5.0.1 -> 5.6.6 | Jörg Thalheim | 2019-01-05 |
| * | cryptominisat: use new xxd package instead of vim | Peter Hoeg | 2017-07-24 |
| * | cryptominisat: init at 5.0.1 | Jörg Thalheim | 2017-05-22 |