Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-12-30 | minisat: 2.2.0 -> 2.2.1 | Franz Pletz | 1 | -18/+8 |
2019-11-04 | minisat: fix build with gcc9 | Franz Pletz | 1 | -0/+2 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -2/+2 |
2017-08-01 | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 1 | -1/+1 |
2016-12-09 | minisat: Fix build on Darwin | Eelco Dolstra | 1 | -1/+3 |
2016-06-19 | minisat: support clang | Gabriel Ebner | 1 | -1/+3 |
2016-05-08 | minisat: migrate from builderDefsPackage to mkDerivation | Gabriel Ebner | 1 | -49/+21 |
2014-07-28 | Fix broken license references. | Peter Simons | 1 | -5/+5 |
2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -2/+1 |
2012-01-18 | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 1 | -1/+1 |
2010-12-05 | Adding MiniSAT | Michael Raskin | 1 | -0/+57 |