diff options
Diffstat (limited to 'pkgs/development/compilers/mlton/default.nix')
-rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index 1caeecccaadbb..d2704a4093d03 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -12,11 +12,11 @@ rec { sha256 = "00rdd2di5x1dzac64il9z05m3fdzicjd3226wwjyynv631jj3q2a"; }; - mlton20210107Binary = callPackage ./20210107-binary.nix { }; + mlton20210117Binary = callPackage ./20210117-binary.nix { }; - mlton20210107 = callPackage ./from-git-source.nix { + mlton20210117 = callPackage ./from-git-source.nix { mltonBootstrap = mlton20180207Binary; - version = "20210107"; + version = "20210117"; rev = "on-20210117-release"; sha256 = "sha256-rqL8lnzVVR+5Hc7sWXK8dCXN92dU76qSoii3/4StODM="; }; |