aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/applications/science/logic/eprover/default.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '8e2b14aceb1d40c7e8b84c03a7c78955359872bb'Katharina Fey2020-08-071-2/+2
* Merge commit 'b61999e4ad60c351b4da63ae3ff43aae3c0bbdfb'Katharina Fey2020-04-191-1/+1
* Merge commit '3ccbc8d89153ecf13f3eae7d9c106d91cd4ab9e5' into fuckthisshitKatharina Fey2020-01-101-2/+2
* Add 'nixpkgs/' from commit '2436c27541b2f52deea3a4c1691216a02152e729'Katharina Fey2019-10-051-0/+29