coinmp (1.8.3-3) unstable; urgency=medium * add patch from Chris Lamb to not install /usr/share/doc/coinor-libcoinmp-dev/examples/Makefile (closes: #908480) -- Rene Engelhard <email address hidden> Sun, 21 Jun 2020 02:00:03 +0200