../ coinor-libsymphony-dev_5.6.16+repack1-1.1_armhf..> 22-Jul-2020 16:21 252160 coinor-libsymphony-doc_5.6.16+repack1-1.1_all.deb 22-Jul-2020 15:16 541660 coinor-libsymphony3_5.6.16+repack1-1.1_armhf.deb 22-Jul-2020 14:30 223120 coinor-symphony_5.6.16+repack1-1.1_armhf.deb 22-Jul-2020 16:48 15920