summary refs log tree commit diff
path: root/pkgs/development/idris-modules/glfw.nix
diff options
context:
space:
mode:
authorSilvan Mosberger <infinisil@icloud.com>2018-07-03 21:19:28 +0200
committerSilvan Mosberger <infinisil@icloud.com>2018-07-05 19:10:27 +0200
commit5f620d0e221d09e9ea6da6bd46794f91c7db7e2d (patch)
tree9f9b8fe9faf33b9e7e86b53478a04d3bca2524c9 /pkgs/development/idris-modules/glfw.nix
parentef0073410d034ce852785ac5a5e4dc7e2012a34a (diff)
downloadnixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.tar
nixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.tar.gz
nixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.tar.bz2
nixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.tar.lz
nixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.tar.xz
nixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.tar.zst
nixpkgs-5f620d0e221d09e9ea6da6bd46794f91c7db7e2d.zip
build-idris-package: includePreludeBase -> noPrelude, noBase
Resembles idris --noprelude and --nobasepkgs arguments
Diffstat (limited to 'pkgs/development/idris-modules/glfw.nix')
0 files changed, 0 insertions, 0 deletions