Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-11-13 | lingeling: pre1_03b4860d -> pre1_708beb26 | Robert Scott | 1 | -5/+4 |
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-08 | lingeling: enable for darwin | Robert Scott | 1 | -1/+1 |
2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2018-08-15 | lingeling: init at pre1_03b4860d | Austin Seipp | 1 | -0/+49 |