Uma Zalakain 83e6a1c996 opam: put the whole /nix in OPAM_USER_PATH_RO ... Some symlinks point to /nix/var/profiles/per-user/…, these have be readable too.		2019-03-11 01:02:43 +01:00
..
1.2.2.nix	…
default.nix	opam: put the whole /nix in OPAM_USER_PATH_RO	2019-03-11 01:02:43 +01:00
opam-shebangs.patch	…
opam.nix.pl	opam: put the whole /nix in OPAM_USER_PATH_RO	2019-03-11 01:02:43 +01:00