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


../
picosat_960-1+b2_amd64.deb                         17-Mar-2017 11:40    120K
picosat_960-1+b2_arm64.deb                         17-Mar-2017 08:11     97K
picosat_960-1+b2_i386.deb                          17-Mar-2017 10:59    126K
picosat_960-1+b2_mips64el.deb                      17-Mar-2017 12:58    128K
picosat_960-1.debian.tar.xz                        09-Nov-2014 02:22    6128
picosat_960-1.dsc                                  09-Nov-2014 02:22    1722
picosat_960.orig.tar.gz                            09-Nov-2014 02:22     62K