Index of /pool/main/p/picosat

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]picosat_960-1+b2_amd64.deb17-Mar-2017 04:40 120K
[   ]picosat_960-1+b2_arm64.deb17-Mar-2017 01:11 97K
[   ]picosat_960-1+b2_armhf.deb17-Mar-2017 13:27 103K
[   ]picosat_960-1+b2_i386.deb17-Mar-2017 03:59 126K
[   ]picosat_960-1.debian.tar.xz08-Nov-2014 19:22 6.0K
[   ]picosat_960-1.dsc08-Nov-2014 19:22 1.7K
[   ]picosat_960.orig.tar.gz08-Nov-2014 19:22 62K
[   ]picosat_965-2+b1_riscv64.deb17-Feb-2024 19:26 164K
[   ]picosat_965-2.debian.tar.xz21-Feb-2021 08:03 6.2K
[   ]picosat_965-2.dsc21-Feb-2021 08:03 1.9K
[   ]picosat_965-2_amd64.deb21-Feb-2021 08:13 92K
[   ]picosat_965-2_arm64.deb21-Feb-2021 08:28 84K
[   ]picosat_965-2_armhf.deb21-Feb-2021 14:11 83K
[   ]picosat_965-2_i386.deb21-Feb-2021 08:28 96K
[   ]picosat_965.orig.tar.gz20-Aug-2019 10:55 63K