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