../ minisat+-dbgsym_1.0-4_ia64.deb 10-Jan-2018 18:03 707140 minisat+_1.0-4_ia64.buildinfo 10-Jan-2018 18:03 4478 minisat+_1.0-4_ia64.deb 10-Jan-2018 18:03 216660