tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ callPackage, stdenv }:
2
3rec {
4 mlton20130715 = callPackage ./20130715.nix { };
5
6 mlton20180207Binary = callPackage ./20180207-binary.nix { };
7
8 mlton20180207 = callPackage ./from-git-source.nix {
9 mltonBootstrap = mlton20180207Binary;
10 version = "20180207";
11 rev = "on-20180207-release";
12 sha256 = "00rdd2di5x1dzac64il9z05m3fdzicjd3226wwjyynv631jj3q2a";
13 };
14
15 mlton20210117Binary = callPackage ./20210117-binary.nix { };
16
17 mlton20210117 = callPackage ./from-git-source.nix {
18 mltonBootstrap = mlton20210117Binary;
19 version = "20210117";
20 rev = "on-20210117-release";
21 sha256 = "sha256-rqL8lnzVVR+5Hc7sWXK8dCXN92dU76qSoii3/4StODM=";
22 };
23
24 mlton20241230 = callPackage ./from-git-source.nix {
25 mltonBootstrap = mlton20210117Binary;
26 version = "20241230";
27 rev = "on-20241230-release";
28 sha256 = "sha256-gJUzav2xH8C4Vy5FuqN73Z6lPMSPQgJApF8LgsJXRWo=";
29 # https://github.com/MLton/mlton/issues/631
30 doCheck = !(stdenv.hostPlatform.isAarch64 && stdenv.hostPlatform.isDarwin);
31 };
32
33 mltonHEAD = callPackage ./from-git-source.nix {
34 mltonBootstrap = mlton20210117Binary;
35 version = "HEAD";
36 rev = "61baac7108fbd91413f0537b7a42d9a1023455f4";
37 sha256 = "sha256-nWR7ZaXfKxeXfZ9IHipAQ39ASVtva4BeDHP3Zq8mqPo=";
38 # https://github.com/MLton/mlton/issues/631
39 doCheck = !(stdenv.hostPlatform.isAarch64 && stdenv.hostPlatform.isDarwin);
40 };
41}