Index of /deepin/pool/main/p/picosat/

../
picosat_960-1+b2_amd64.deb                         11-Apr-2022 12:44    120K
picosat_960-1+b2_i386.deb                          11-Apr-2022 12:46    126K
picosat_960-1.debian.tar.xz                        11-Apr-2022 12:17    6128
picosat_960-1.dsc                                  11-Apr-2022 12:17    1722
picosat_960.orig.tar.gz                            11-Apr-2022 12:17     62K