jopejoe1 eb0fb69ba1 mlton: change license to smlnj

2025-09-29 20:51:56 +02:00

..

20130715.nix

mlton: change license to smlnj

2025-09-29 20:51:56 +02:00

20180207-binary.nix

mlton: change license to smlnj

2025-09-29 20:51:56 +02:00

20210117-binary.nix

mlton: change license to smlnj

2025-09-29 20:51:56 +02:00

default.nix

…

from-git-source.nix

mlton: change license to smlnj

2025-09-29 20:51:56 +02:00

meta.nix

mlton: change license to smlnj

2025-09-29 20:51:56 +02:00