Index of /ubuntu/pool/universe/p/picosat/

../
picosat_960-1.debian.tar.xz                        08-Nov-2014 23:13                6128
picosat_960-1.dsc                                  08-Nov-2014 23:13                1722
picosat_960-1_amd64.deb                            08-Nov-2014 23:23              122050
picosat_960.orig.tar.gz                            08-Nov-2014 23:13               63269