Mario Rodas a5a56e516c opam: 2.0.2 -> 2.0.4		2019-04-16 11:15:28 +02:00
..
1.2.2.nix
default.nix	opam: 2.0.2 -> 2.0.4	2019-04-16 11:15:28 +02: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