mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 16:23:26 +00:00
318fba182a
It looks like the last update (https://github.com/NixOS/nixpkgs/pull/176677) got the version number wrong (20210107, but should be 20210117). See https://github.com/MLton/mlton/releases/tag/on-20210117-release that has a similar error in the heading (but not in the URL or links). This corrects this version mismatch. There is no change to the content of the package. |
||
---|---|---|
.. | ||
20130715.nix | ||
20180207-binary.nix | ||
20210117-binary.nix | ||
default.nix | ||
from-git-source.nix | ||
meta.nix |