Name Last modified Size Parent Directory - picosat-dbgsym_965-3_ppc64.deb 2025-11-01 19:03 372K picosat_965-3_ppc64.buildinfo 2025-11-01 19:03 5.4K picosat_965-3_ppc64.deb 2025-11-01 19:03 98K