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

../
picosat_960-1.debian.tar.xz                        09-Nov-2014 02:22    6128
picosat_960-1.dsc                                  09-Nov-2014 02:22    1722
picosat_960-1_amd64.deb                            09-Nov-2014 03:28    120K
picosat_960-1_i386.deb                             09-Nov-2014 03:28    145K
picosat_960.orig.tar.gz                            09-Nov-2014 02:22     62K