aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/applications/science/logic/cadical/default.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '8e2b14aceb1d40c7e8b84c03a7c78955359872bb'Katharina Fey2020-08-071-2/+4
* Merge commit '467ce5a9f45aaf96110b41eb863a56866e1c2c3c'Katharina Fey2020-06-041-1/+1
* Merge commit 'b61999e4ad60c351b4da63ae3ff43aae3c0bbdfb'Katharina Fey2020-04-191-0/+29