Index of /debian/pool/main/p/picosat

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 picosat_632-1.diff.gz       2008-06-08 14:02  2.9K  
 picosat_632-1.dsc           2008-06-08 14:02  922   
 picosat_632-1_amd64.deb     2008-06-15 23:17   28K  
 picosat_632-1_i386.deb      2008-06-08 14:02   24K  
 picosat_632.orig.tar.gz     2008-06-08 14:02   30K  
 picosat_913-4.debian.tar.gz 2010-04-04 11:05  5.2K  
 picosat_913-4.dsc           2010-04-04 11:05  1.0K  
 picosat_913-4_amd64.deb     2010-04-04 11:05  156K  
 picosat_913-4_i386.deb      2010-04-04 18:52  137K  
 picosat_913.orig.tar.gz     2009-11-02 22:52   44K  
 picosat_936-4.debian.tar.gz 2012-03-04 00:23  5.8K  
 picosat_936-4.dsc           2012-03-04 00:23  1.0K  
 picosat_936-4_amd64.deb     2012-03-04 01:06  292K  
 picosat_936-4_i386.deb      2012-03-04 00:23  262K  
 picosat_936.orig.tar.gz     2010-08-16 15:17   51K  
 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  
 picosat_960-1_amd64.deb     2014-11-08 20:28  120K  
 picosat_960-1_i386.deb      2014-11-08 20:28  145K  
 picosat_960.orig.tar.gz     2014-11-08 19:22   62K