wchresta 24d5c73aa8 idris2: Enable --install, bugfixes ... This removes the need of the bin/idris2_app folder and replaces it with proper links to the nix-storage folders. This allows the user to override IDRIS2_PREFIX which will allow them to use --install to install libraries. * Fix: idris2_app/ was exposed in bin/ * Remove native Idris2 wrapper that set LD_LIBRARY_PATH * Improve new Idris2 wrapper to set Idris2 paths to out folders		2020-08-20 22:09:05 -04:00
..
applications	Merge pull request #94810 from elkowar/new_package_pipr	2020-08-18 22:37:02 +02:00
build-support	nixos/systemd.tmpfiles.packages: fix an edge case	2020-08-16 10:23:53 +02:00
common-updater
data	Merge pull request #95701 from gebner/smaller_source_han	2020-08-18 12:54:31 +02:00
desktops	Merge pull request #95671 from dasj19/aisleriot-update	2020-08-18 11:10:24 +02:00
development	idris2: Enable --install, bugfixes	2020-08-20 22:09:05 -04:00
games	Merge pull request #95553 from zowoq/rename-maintainers	2020-08-18 11:30:24 +02:00
misc	vimPlugins.vim-matchup: init at 2020-08-16	2020-08-17 17:46:59 -07:00
os-specific	Merge pull request #95497 from mweinelt/rtl8192eu	2020-08-18 23:19:23 +02:00
pkgs-lib
servers	Merge pull request #95744 from wucke13/master	2020-08-18 16:19:11 -07:00
shells	oh-my-zsh: 2020-08-06 -> 2020-08-17	2020-08-18 08:02:25 -04:00
stdenv
test
tools	Merge pull request #95148 from r-ryantm/auto-update/mu	2020-08-18 16:06:23 -07:00
top-level	Merge pull request #91176 from ericdallo/add-alda	2020-08-19 01:15:00 +02:00