Index of /debian/pool/main/p/picosat

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]picosat_965.orig.tar.gz2019-08-20 11:55 63K 
[ ]picosat_965-3_s390x.deb2025-11-01 14:23 93K 
[ ]picosat_965-3_riscv64.deb2025-11-01 15:09 179K 
[ ]picosat_965-3_ppc64el.deb2025-11-01 14:18 98K 
[ ]picosat_965-3_mips64el.deb2025-11-01 14:23 99K 
[ ]picosat_965-3_i386.deb2025-11-01 14:18 101K 
[ ]picosat_965-3_armhf.deb2025-11-01 14:13 82K 
[ ]picosat_965-3_armel.deb2025-11-01 14:18 84K 
[ ]picosat_965-3_arm64.deb2025-11-01 14:18 86K 
[ ]picosat_965-3_amd64.deb2025-11-01 14:23 96K 
[TXT]picosat_965-3.dsc2025-11-01 12:02 1.3K 
[ ]picosat_965-3.debian.tar.xz2025-11-01 12:02 6.3K 
[ ]picosat_965-2_s390x.deb2021-02-21 09:28 86K 
[ ]picosat_965-2_ppc64el.deb2021-02-21 09:28 101K 
[ ]picosat_965-2_mipsel.deb2021-02-21 10:13 96K 
[ ]picosat_965-2_mips64el.deb2021-02-21 09:58 96K 
[ ]picosat_965-2_i386.deb2021-02-21 09:28 96K 
[ ]picosat_965-2_armhf.deb2021-02-21 15:11 83K 
[ ]picosat_965-2_armel.deb2021-02-21 12:13 85K 
[ ]picosat_965-2_arm64.deb2021-02-21 09:28 84K 
[ ]picosat_965-2_amd64.deb2021-02-21 09:13 92K 
[TXT]picosat_965-2.dsc2021-02-21 09:03 1.9K 
[ ]picosat_965-2.debian.tar.xz2021-02-21 09:03 6.2K 
[ ]picosat_965-2+b1_riscv64.deb2024-02-17 20:26 164K 
[ ]picosat_965-2+b1_arm64.deb2024-10-28 11:33 87K