02:38 Michael Gmelin (grembo) 

devel/{ice37,php-ice37,py-ice37}: Update to 3.7.6

    e97f58f

16:37 grembo 

Add ZeroC Ice 3.7.1 as new ports devel/{ice37|php-ice37|py-ice37}

Upgrading from Ice 3.6 isn't trivial, as it requires application
code changes. Therefore a new set of ports was created.

Marked devel/{ice|php5-ice|py-ice} as conflicting (and vice versa).

PR:		221141

 

12:07 grembo 

Add ZeroC Ice 3.7.1 as devel/ice37

Upgrading from Ice 3.6 (devel/ice) is non-trivial (requires application code
changes), therefore a separate port was required.

PR:		221141