diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2019-01-04 12:38:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-04 12:38:35 +0100 |
commit | dcc258f1dc6bc5627d3697147d5fafd2202de630 (patch) | |
tree | f93ce0f5183ca02d3edfb6ee392cb347acc33ab7 /pkgs/development/idris-modules | |
parent | 48b1b3e55f6004a080a1d911726fc6e720dc75ea (diff) | |
parent | f3c9480b6d6832b39ad361f305ee3f571fb8132a (diff) |
Merge pull request #53358 from r-ryantm/auto-update/dar
dar: 2.5.18 -> 2.6.0
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions