summary refs log tree commit diff
path: root/pkgs/applications/science/logic/drat-trim
Commit message (Expand)AuthorAge
* 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