diff options
author | Márton Boros <martonboros@gmail.com> | 2017-12-26 10:55:17 +0100 |
---|---|---|
committer | Márton Boros <martonboros@gmail.com> | 2017-12-26 10:55:17 +0100 |
commit | 92538f0a5439b7155dc46e10d10631cef68943c3 (patch) | |
tree | 9b36c41f4e388c96f5016eac1738840594f56d1a /pkgs/development/idris-modules/build-idris-package.nix | |
parent | f1c236a987bc5d0a0de0bafc2d8e0e7556f45450 (diff) | |
download | nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.gz nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.bz2 nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.lz nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.xz nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.tar.zst nixpkgs-92538f0a5439b7155dc46e10d10631cef68943c3.zip |
idris: fix modules
Diffstat (limited to 'pkgs/development/idris-modules/build-idris-package.nix')
0 files changed, 0 insertions, 0 deletions