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


../
picosat_960-1+b2_amd64.deb                         17-Mar-2017 03:40    120K
picosat_960-1+b2_i386.deb                          17-Mar-2017 02:59    126K
picosat_960-1.debian.tar.xz                        08-Nov-2014 18:22    6128
picosat_960-1.dsc                                  08-Nov-2014 18:22    1722
picosat_960.orig.tar.gz                            08-Nov-2014 18:22     62K
picosat_965-2+b1_riscv64.deb                       17-Feb-2024 18:26    164K
picosat_965-2.debian.tar.xz                        21-Feb-2021 07:03    6328
picosat_965-2.dsc                                  21-Feb-2021 07:03    1959
picosat_965-2_amd64.deb                            21-Feb-2021 07:13     92K
picosat_965-2_i386.deb                             21-Feb-2021 07:28     96K
picosat_965-2_ppc64el.deb                          21-Feb-2021 07:28    101K
picosat_965.orig.tar.gz                            20-Aug-2019 08:55     63K