3
0
Fork 0
forked from mirrors/nixpkgs
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 Rename z77z into maggesi 2019-10-07 17:05:25 +02:00
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