Index of /aces-base/pool/main/p/picosat/

../
picosat_965-2.debian.tar.xz                        09-Aug-2022 22:13                6328
picosat_965-2.dsc                                  09-Aug-2022 22:13                1959
picosat_965-2_amd64.deb                            09-Aug-2022 22:13               94496
picosat_965.orig.tar.gz                            09-Aug-2022 22:13               64386