Index of /loongson/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_mipsel.deb                           09-Nov-2014 06:10    139K
picosat_960.orig.tar.gz                            09-Nov-2014 02:22     62K