../ picosat-dbgsym_965-2_x32.deb 22-Feb-2021 12:03 361980 picosat_965-2_x32.buildinfo 22-Feb-2021 12:03 5596 picosat_965-2_x32.deb 22-Feb-2021 12:03 94040