aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/coq-modules/paco/default.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '441a7da8080352881bb52f85e910d8855e83fc55'Kaiden Fey2020-09-191-0/+1
* Merge commit 'b61999e4ad60c351b4da63ae3ff43aae3c0bbdfb'Katharina Fey2020-04-191-1/+1
* Merge commit 'd96bd3394b734487d1c3bfbac0e8f17465e03afe'Katharina Fey2020-03-241-2/+4
* Merge commit '3ccbc8d89153ecf13f3eae7d9c106d91cd4ab9e5' into fuckthisshitKatharina Fey2020-01-101-8/+31
* Add 'nixpkgs/' from commit '2436c27541b2f52deea3a4c1691216a02152e729'Katharina Fey2019-10-051-0/+35