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