Index of /dev/pool/main/p/picosat/

../
picosat_965-2.debian.tar.xz                        21-Feb-2021 07:03                6328
picosat_965-2.dsc                                  21-Feb-2021 07:03                1959
picosat_965-2_amd64.deb                            21-Feb-2021 07:13               94496
picosat_965.orig.tar.gz                            20-Aug-2019 08:55               64386