about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/clprover
AgeCommit message (Expand)AuthorFilesLines
2021-01-30treewide: update permanent url redirectsSandro Jäckel1-2/+2
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-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-06-16treewide: remove unused variables (#63177)volth1-1/+1
2019-02-26clprover: init at 1.0.3 (#56403)Merlin Göttlinger1-0/+27