Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update pkgs/applications/science/logic/drat-trim/default.nix | Wojciech Nawrocki | 2023-09-12 |
* | drat-trim: 2020-06-05 -> 2023-05-22 | Wojciech Nawrocki | 2023-09-12 |
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | drat-trim: 2017-08-31 -> 2020-06-05 | Keshav Kini | 2020-07-17 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | drat-trim: fix build on darwin | Orivej Desh | 2017-12-17 |
* | drat-trim: init at 2017-08-31 | Keshav Kini | 2017-12-17 |