about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/drat-trim
AgeCommit message (Expand)AuthorFilesLines
2023-09-12Update pkgs/applications/science/logic/drat-trim/default.nixWojciech Nawrocki1-1/+1
2023-09-12drat-trim: 2020-06-05 -> 2023-05-22Wojciech Nawrocki1-4/+4
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-07-17drat-trim: 2017-08-31 -> 2020-06-05Keshav Kini1-4/+9
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2017-12-17drat-trim: fix build on darwinOrivej Desh1-0/+4
2017-12-17drat-trim: init at 2017-08-31Keshav Kini1-0/+36