Index of /etap/pool/main/p/picosat/

../
picosat_960-1.debian.tar.xz                        16-Feb-2017 13:36    6128
picosat_960-1.dsc                                  16-Feb-2017 13:36    1722
picosat_960-1_amd64.deb                            27-Sep-2017 18:31    120K
picosat_960-1_i386.deb                             27-Sep-2017 17:47    145K
picosat_960.orig.tar.gz                            16-Feb-2017 13:36     62K