diff options
| author | Steven Shaw <steven@steshaw.org> | 2019-07-28 07:33:00 +1000 |
|---|---|---|
| committer | Steven Shaw <steven@steshaw.org> | 2019-07-28 07:35:28 +1000 |
| commit | 7bdacb3e39aba0ba1baffcc2fb7964fa74010dce (patch) | |
| tree | cba9c8df23567ac737d040c4adcbe95e76cc9ae7 /pkgs/development/idris-modules | |
| parent | 1eb5b83f9aaccd33945fe043cc4397f038872dd6 (diff) | |
| download | nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.tar nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.tar.gz nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.tar.bz2 nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.tar.lz nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.tar.xz nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.tar.zst nixpkgs-7bdacb3e39aba0ba1baffcc2fb7964fa74010dce.zip | |
maintainers: Add Steven Shaw
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions