about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lingeling/default.nix
AgeCommit message (Expand)AuthorFilesLines
2021-11-13lingeling: pre1_03b4860d -> pre1_708beb26Robert Scott1-5/+4
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-08lingeling: enable for darwinRobert Scott1-1/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-08-15lingeling: init at pre1_03b4860dAustin Seipp1-0/+49