Index of /ubuntu/pool/universe/p/picosat

      Name                        Last modified      Size  Description
      Parent Directory                                 -   
      picosat_913-1.diff.gz       24-Nov-2009 04:07  3.3K  
      picosat_913-1.dsc           24-Nov-2009 04:07  963   
      picosat_913-1_amd64.deb     24-Nov-2009 16:05   40K  
      picosat_913-1_i386.deb      24-Nov-2009 16:06   34K  
      picosat_913-4.debian.tar.gz 10-May-2010 01:05  5.2K  
      picosat_913-4.dsc           10-May-2010 01:05  1.0K  
      picosat_913-4_amd64.deb     15-May-2010 23:04  157K  
      picosat_913-4_i386.deb      12-May-2010 08:05  137K  
      picosat_913.orig.tar.gz     24-Nov-2009 04:07   44K  
      picosat_936-1.debian.tar.gz 15-Oct-2010 23:09  5.3K  
      picosat_936-1.dsc           15-Oct-2010 23:09  1.0K  
      picosat_936-1_amd64.deb     17-Oct-2010 22:05  181K  
      picosat_936-1_i386.deb      18-Oct-2010 00:05  149K  
      picosat_936-2.debian.tar.gz 01-May-2011 03:06  5.2K  
      picosat_936-2.dsc           01-May-2011 03:06  1.0K  
      picosat_936-2_amd64.deb     03-May-2011 05:04  250K  
      picosat_936-2_i386.deb      02-May-2011 15:06  226K  
      picosat_936-3.debian.tar.gz 17-Oct-2011 23:04  5.3K  
      picosat_936-3.dsc           17-Oct-2011 23:04  1.0K  
      picosat_936-3_amd64.deb     18-Oct-2011 16:05  251K  
      picosat_936-3_i386.deb      18-Oct-2011 14:05  226K  
      picosat_936-4.debian.tar.gz 01-May-2012 04:35  5.8K  
      picosat_936-4.dsc           01-May-2012 04:35  1.0K  
      picosat_936-4_amd64.deb     01-May-2012 19:03  304K  
      picosat_936-4_i386.deb      01-May-2012 15:52  272K  
      picosat_936.orig.tar.gz     15-Oct-2010 23:09   51K