zeroc-ice (3.7.2-4) unstable; urgency=medium * Update Linux OS detection patch -- José Gutiérrez de la Concha <email address hidden> Fri, 08 Feb 2019 08:24:27 +0000