Nikolay Amiantov 3a0c6f1402 zeroc-ice: 3.6.3 -> 3.7.2 ...

Rename from zeroc_ice.
Take various improvements from Arch zero-ice package.
Move old version to zeroc-ice-36.

2019-09-06 20:21:09 +03:00

..

3.6.nix

zeroc-ice: 3.6.3 -> 3.7.2

2019-09-06 20:21:09 +03:00

default.nix

zeroc-ice: 3.6.3 -> 3.7.2

2019-09-06 20:21:09 +03:00

makefile.patch

…