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_arm64.deb28-Oct-2024 10:33 87K
[ ]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