Index of /pool/main/p/picosat

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 picosat_965-2+b1_arm64.deb  2024-10-28 10:33   87K  
 picosat_965-2.debian.tar.xz 2021-02-21 08:03  6.2K  
 picosat_965-2.dsc           2021-02-21 08:03  1.9K  
 picosat_965-2_amd64.deb     2021-02-21 08:13   92K  
 picosat_965.orig.tar.gz     2019-08-20 10:55   63K