1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 00:22:13 +00:00
nixpkgs/pkgs/development/compilers/polyml
Kovacsics Robert f4c29ebfc2 polyml: updated maintainers
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).
2020-03-02 09:13:12 +01:00
..
5.6.nix
5.7-new-libffi-FFI_SYSV.patch polyml: fix with new libffi 2020-03-02 09:13:12 +01:00
5.7.nix polyml: updated maintainers 2020-03-02 09:13:12 +01:00
default.nix polyml: updated maintainers 2020-03-02 09:13:12 +01:00