Commit dd82e571 authored by Mario Rodas's avatar Mario Rodas
Browse files
parent c17fdfca
Loading
Loading
Loading
Loading
+4 −4
Original line number Diff line number Diff line
@@ -71,13 +71,13 @@ let
      sha256 = "0jnqsv6pqp5b5g7lcjwgd75zqqvcwcl5a32zi03zg1kvj79p5gxs";
    };
    opam = fetchurl {
      url = "https://github.com/ocaml/opam/archive/2.1.4.zip";
      sha256 = "0zp8sb75pw1kyqlm7bsiagfwq46mv41mxh5q2prn2cwg6xri2wrg";
      url = "https://github.com/ocaml/opam/archive/2.1.5.zip";
      sha256 = "0s8r5gfs2zsyfn3jzqnvns3g0rkik3pw628n0dik55fwq3zjgg4a";
    };
  };
in stdenv.mkDerivation {
  pname = "opam";
  version = "2.1.4";
  version = "2.1.5";

  strictDeps = true;

@@ -144,4 +144,4 @@ in stdenv.mkDerivation {
    platforms = platforms.all;
  };
}
# Generated by: ./opam.nix.pl -v 2.1.4 -p opam-shebangs.patch
# Generated by: ./opam.nix.pl -v 2.1.5 -p opam-shebangs.patch