summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
diff options
context:
space:
mode:
authorDaniel Peebles <copumpkin@users.noreply.github.com>2017-09-26 12:23:19 -0700
committerGitHub <noreply@github.com>2017-09-26 12:23:19 -0700
commit79d8ccf4f0787b1849153f813cd0a9e6b84d23a1 (patch)
tree05a4e4c17c560eb263b456ace188f1b267a6e240 /pkgs/development/libraries/agda
parent0ddca0715acd90491db27286adb9b459e24403f8 (diff)
parent186c120bed6b5d4a9b1549159aa567005402000c (diff)
downloadnixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.tar
nixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.tar.gz
nixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.tar.bz2
nixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.tar.lz
nixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.tar.xz
nixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.tar.zst
nixpkgs-79d8ccf4f0787b1849153f813cd0a9e6b84d23a1.zip
Merge pull request #28777 from copumpkin/installer-chroot
nixos-install: re-enable --chroot option
Diffstat (limited to 'pkgs/development/libraries/agda')
0 files changed, 0 insertions, 0 deletions