coinor-ipopt (3.11.9-2.3) unstable; urgency=low * Non-maintainer upload. * debian/compat: 5 -> 7. (Closes: #965459) -- Adrian Bunk <email address hidden> Thu, 17 Mar 2022 23:41:30 +0200