coinmp (1.7.6+dfsg1-2) unstable; urgency=medium * libstdc+6 transition: rename coinor-libcoinmp1 to coinor-libcoinmp1v5 -- Rene Engelhard <email address hidden> Fri, 18 Sep 2015 17:35:12 +0200