This bug was fixed in the package coinor-osi - 0.106.4-1ubuntu4
--------------- coinor-osi (0.106.4-1ubuntu4) trusty; urgency=medium
* Build using GCC 4.7 on arm64. -- Matthias Klose <email address hidden> Fri, 27 Dec 2013 19:31:48 +0100
This bug was fixed in the package coinor-osi - 0.106.4-1ubuntu4
---------------
coinor-osi (0.106.4-1ubuntu4) trusty; urgency=medium
* Build using GCC 4.7 on arm64.
-- Matthias Klose <email address hidden> Fri, 27 Dec 2013 19:31:48 +0100