Index of /deepin/pool/main/p/picosat

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[   ] picosat_960-1+b2_amd64.deb  2022-04-11 05:44  120K  
[   ] picosat_960-1+b2_i386.deb   2022-04-11 05:46  126K  
[   ] picosat_960-1.debian.tar.xz 2022-04-11 05:17  6.0K  
[   ] picosat_960-1.dsc           2022-04-11 05:17  1.7K  
[   ] picosat_960.orig.tar.gz     2022-04-11 05:17   62K
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80