Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-01-30 | treewide: update permanent url redirects | Sandro Jäckel | 1 | -2/+2 |
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-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2019-06-16 | treewide: remove unused variables (#63177) | volth | 1 | -1/+1 |
2019-02-26 | clprover: init at 1.0.3 (#56403) | Merlin Göttlinger | 1 | -0/+27 |