../ picosat-dbgsym_965-2_ia64.deb 21-Feb-2021 12:03 454K picosat_965-2_ia64.buildinfo 21-Feb-2021 12:03 5690 picosat_965-2_ia64.deb 21-Feb-2021 12:03 108K