Index of /trisquel/pool/extras/p/picosat

Icon  Name                     Last modified      Size  
[PARENTDIR] Parent Directory                              -   
[   ] picosat_846-1.diff.gz    2008-11-05 14:05  3.1K  
[TXT] picosat_846-1.dsc        2008-11-05 14:05  962   
[   ] picosat_846.orig.tar.gz  2008-11-05 14:05   42K