aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/idris-modules/semidirect.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-101-1/+1
* idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix buildSilvan Mosberger2018-07-021-3/+3
* idrisPackages: Clean up packagesSilvan Mosberger2018-07-021-4/+1
* idrisPackages: add packagesMárton Boros2018-03-201-0/+28