Index of /trisquel/pool/main/p/picosat

 Name                        Last modified      Size  
 Parent Directory                                 -   
 picosat_846-1.diff.gz       2008-11-05 14:05  3.1K  
 picosat_846-1.dsc           2008-11-05 14:05  962   
 picosat_846.orig.tar.gz     2008-11-05 14:05   42K  
 picosat_913-1.diff.gz       2009-11-23 19:07  3.3K  
 picosat_913-1.dsc           2009-11-23 19:07  963   
 picosat_913-4.debian.tar.gz 2010-05-09 16:05  5.2K  
 picosat_913-4.dsc           2010-05-09 16:05  1.0K  
 picosat_913.orig.tar.gz     2009-11-23 19:07   44K  
 picosat_936-1.debian.tar.gz 2010-10-15 14:09  5.3K  
 picosat_936-1.dsc           2010-10-15 14:09  1.0K  
 picosat_936-2.debian.tar.gz 2011-04-30 18:06  5.2K  
 picosat_936-2.dsc           2011-04-30 18:06  1.0K  
 picosat_936-3.debian.tar.gz 2011-10-17 14:04  5.3K  
 picosat_936-3.dsc           2011-10-17 14:04  1.0K  
 picosat_936.orig.tar.gz     2010-10-15 14:09   51K  
 picosat_954-1.debian.tar.gz 2012-12-21 05:33  6.4K  
 picosat_954-1.dsc           2012-12-21 05:33  1.0K  
 picosat_954-1_amd64.deb     2012-12-21 05:33  335K  
 picosat_954-1_i386.deb      2012-12-21 05:33  325K  
 picosat_954.orig.tar.gz     2012-12-21 05:33   62K