Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: update permanent url redirects | Sandro Jäckel | 2021-01-30 |
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | treewide: remove unused variables (#63177) | volth | 2019-06-16 |
* | clprover: init at 1.0.3 (#56403) | Merlin Göttlinger | 2019-02-26 |