../ coin3_4.0.2+ds-1_m68k.buildinfo 10-Dec-2023 00:03 14943 libcoin-dev_4.0.2+ds-1_m68k.deb 10-Dec-2023 00:03 220064 libcoin80c-dbgsym_4.0.2+ds-1_m68k.deb 10-Dec-2023 00:03 9517320 libcoin80c_4.0.2+ds-1_m68k.deb 10-Dec-2023 00:03 2334968