Index of /sites/debian.org/debian/pool/main/p/picosat
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
picosat_960-1+b2_amd64.deb 2017-03-17 04:40 120K
picosat_960-1+b2_i386.deb 2017-03-17 03:59 126K
picosat_960-1.debian.tar.xz 2014-11-08 19:22 6.0K
picosat_960-1.dsc 2014-11-08 19:22 1.7K
![[ ]](/icons/compressed.gif)
picosat_960.orig.tar.gz 2014-11-08 19:22 62K
picosat_965-2.debian.tar.xz 2021-02-21 08:03 6.2K
picosat_965-2.dsc 2021-02-21 08:03 1.9K
picosat_965-2_amd64.deb 2021-02-21 08:13 92K
picosat_965-2_i386.deb 2021-02-21 08:28 96K
picosat_965.orig.tar.gz 2019-08-20 10:55 63K