Name                          Last modified      Size  Description
 Parent Directory                                   -   
 picosat_960-1+b2_amd64.deb    2017-03-16 22:40  120K  
 picosat_960-1+b2_arm64.deb    2017-03-16 19:11   97K  
 picosat_960-1+b2_i386.deb     2017-03-16 21:59  126K  
 picosat_960-1+b2_mips64el.deb 2017-03-16 23:58  128K  
 picosat_960-1+b2_ppc64el.deb  2017-03-16 18:55  113K  
 picosat_960-1.debian.tar.xz   2014-11-08 12:22  6.0K  
 picosat_960-1.dsc             2014-11-08 12:22  1.7K  
 picosat_960.orig.tar.gz       2014-11-08 12:22   62K  
 picosat_965-2.debian.tar.xz   2021-02-21 01:03  6.2K  
 picosat_965-2.dsc             2021-02-21 01:03  1.9K  
 picosat_965-2_amd64.deb       2021-02-21 01:13   92K  
 picosat_965-2_arm64.deb       2021-02-21 01:28   84K  
 picosat_965-2_i386.deb        2021-02-21 01:28   96K  
 picosat_965-2_mips64el.deb    2021-02-21 01:58   96K  
 picosat_965-2_ppc64el.deb     2021-02-21 01:28  101K  
 picosat_965.orig.tar.gz       2019-08-20 03:55   63K