../ coinor-libosi-dev_0.103.0-1_amd64.deb 10-Jul-2010 18:17 500466 coinor-libosi-doc_0.103.0-1_all.deb 10-Jul-2010 18:17 3517632 coinor-libosi0-dbg_0.103.0-1_amd64.deb 10-Jul-2010 18:17 943738 coinor-libosi0_0.103.0-1_amd64.deb 10-Jul-2010 18:17 377662