aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/compilers/idris2/default.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '441a7da8080352881bb52f85e910d8855e83fc55'Kaiden Fey2020-09-191-6/+39
* Merge commit '8e2b14aceb1d40c7e8b84c03a7c78955359872bb'Katharina Fey2020-08-071-3/+4
* Merge commit '029a5de08390bb03c3f44230b064fd1850c6658a'Katharina Fey2020-06-131-9/+8
* Merge commit '467ce5a9f45aaf96110b41eb863a56866e1c2c3c'Katharina Fey2020-06-041-0/+45