diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2018-02-03 21:47:37 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-03 21:47:37 +0000 |
commit | 2a541cc8f7f3f4d85b54ca740ac89e7894ed251f (patch) | |
tree | e8dde7d2d4c18f255244b9384f34a8b75aa7324e /pkgs/development/tools | |
parent | be40296afe63c582e4ec1643e7b372a2e2862b42 (diff) | |
parent | 2996be511d3c4ac16694584fe114edd30a25309e (diff) | |
download | nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.gz nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.bz2 nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.lz nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.xz nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.tar.zst nixlib-2a541cc8f7f3f4d85b54ca740ac89e7894ed251f.zip |
Merge pull request #33069 from brainrape/fix-idris-modules
idris: fix modules
Diffstat (limited to 'pkgs/development/tools')
0 files changed, 0 insertions, 0 deletions