Index of /pool/main/p/picosat/


../
picosat_960-1+b2_amd64.deb                         11-Apr-2022 03:44              122972
picosat_960-1+b2_i386.deb                          11-Apr-2022 03:46              128550
picosat_960-1.debian.tar.xz                        11-Apr-2022 03:17                6128
picosat_960-1.dsc                                  11-Apr-2022 03:17                1722
picosat_960.orig.tar.gz                            11-Apr-2022 03:17               63269