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

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