aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/idris-modules (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge commit '467ce5a9f45aaf96110b41eb863a56866e1c2c3c'Katharina Fey2020-06-041-1/+1
|
* Merge commit 'b61999e4ad60c351b4da63ae3ff43aae3c0bbdfb'Katharina Fey2020-04-1981-80/+105
|
* Merge commit 'd96bd3394b734487d1c3bfbac0e8f17465e03afe'Katharina Fey2020-03-241-3/+3
|
* Merge commit 'e4134747f5666bcab8680aff67fa3b63384f9a0f'Katharina Fey2020-01-121-3/+6
|
* Merge commit '1c40ee6fc44f7eb474c69ea070a43247a1a2c83c'Katharina Fey2019-10-182-27/+0
|
* Add 'nixpkgs/' from commit '2436c27541b2f52deea3a4c1691216a02152e729'Katharina Fey2019-10-0587-0/+2392
git-subtree-dir: nixpkgs git-subtree-mainline: 1148b1d122bc03e9a3665856c9b7bb96bd4e3994 git-subtree-split: 2436c27541b2f52deea3a4c1691216a02152e729