../ coinor-libosi-dev_0.106.4-1ubuntu5_amd64.deb 13-Jan-2014 01:58 329492 coinor-libosi-doc_0.106.4-1ubuntu5_all.deb 13-Jan-2014 01:58 2761960 coinor-libosi1-dbg_0.106.4-1ubuntu5_amd64.deb 13-Jan-2014 01:58 1630670 coinor-libosi1_0.106.4-1ubuntu5_amd64.deb 13-Jan-2014 01:58 277002