summary refs log tree commit diff
path: root/pkgs/applications/science/logic/drat-trim
Commit message (Expand)AuthorAge
* Update pkgs/applications/science/logic/drat-trim/default.nixWojciech Nawrocki2023-09-12
* drat-trim: 2020-06-05 -> 2023-05-22Wojciech Nawrocki2023-09-12
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* drat-trim: 2017-08-31 -> 2020-06-05Keshav Kini2020-07-17
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: remove redundant recvolth2019-08-28
* drat-trim: fix build on darwinOrivej Desh2017-12-17
* drat-trim: init at 2017-08-31Keshav Kini2017-12-17