summary refs log tree commit diff
path: root/pkgs/development/idris-modules/eternal.nix
Commit message (Expand)AuthorAge
* idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
* idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
* idrisPackages: add packagesMárton Boros2018-03-20