Mario Rodas a61db6075f opam: 2.0.4 -> 2.0.5		2019-07-15 04:20:00 -05:00
..
1.2.2.nix	treewide: Change URLs to HTTPS	2019-04-22 10:19:54 +02:00
default.nix	opam: 2.0.4 -> 2.0.5	2019-07-15 04:20:00 -05:00
opam-shebangs.patch
opam.nix.pl