Merge pull request #87862 from anmonteiro/anmonteiro/bs-platform-7.3.2

This commit is contained in:
Jörg Thalheim 2020-05-15 10:17:34 +01:00 committed by GitHub
commit 9b3129e356
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,14 +4,14 @@ let
in in
(build-bs-platform rec { (build-bs-platform rec {
inherit stdenv runCommand fetchFromGitHub ninja nodejs python3; inherit stdenv runCommand fetchFromGitHub ninja nodejs python3;
version = "7.3.1"; version = "7.3.2";
ocaml-version = "4.06.1"; ocaml-version = "4.06.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "BuckleScript"; owner = "BuckleScript";
repo = "bucklescript"; repo = "bucklescript";
rev = version; rev = version;
sha256 = "14vp6cl5ml7xb3pd0paqajb50qv62l8j5m8hi3b6fh0pm68j1yxd"; sha256 = "1nvp7wiiv149r4qf9bgc84bm4w7s44sjq9i7j103v24wllzz218s";
fetchSubmodules = true; fetchSubmodules = true;
}; };
}).overrideAttrs (attrs: { }).overrideAttrs (attrs: {