mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-06-14 01:03:54 +00:00
0edebabe92
I am not sure if we still need the old packages, nothing explicitly
depends on polyml56 or polyml57 according to a grep, not sure if
external packages might (hol and isabelle depend on polyml, the latest
version).
(cherry picked from commit f4c29ebfc2)