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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]picosat_954-1.debian.tar.gz2012-12-21 14:33 6.4K 
[TXT]picosat_954-1.dsc2012-12-21 14:33 1.0K 
[   ]picosat_954-1_amd64.deb2012-12-21 14:33 335K 
[   ]picosat_954-1_i386.deb2012-12-21 14:33 325K 
[   ]picosat_954.orig.tar.gz2012-12-21 14:33 62K 
[   ]picosat_960-1.debian.tar.xz2014-11-09 08:13 6.0K 
[TXT]picosat_960-1.dsc2014-11-09 08:13 1.7K 
[   ]picosat_960-1_amd64.deb2014-11-09 08:23 119K 
[   ]picosat_960-1_i386.deb2014-11-09 08:23 144K 
[   ]picosat_960-1build1.debian.tar.xz2018-04-05 18:22 6.1K 
[TXT]picosat_960-1build1.dsc2018-04-05 18:22 1.8K 
[   ]picosat_960-1build1_amd64.deb2018-04-05 18:23 112K 
[   ]picosat_960-1build1_i386.deb2018-04-05 18:25 119K 
[   ]picosat_960.orig.tar.gz2014-11-09 08:13 62K 
[   ]picosat_965-1.debian.tar.xz2019-08-21 02:23 5.8K 
[TXT]picosat_965-1.dsc2019-08-21 02:23 1.9K 
[   ]picosat_965-1_amd64.deb2019-08-21 02:23 91K 
[   ]picosat_965-2.debian.tar.xz2021-02-21 20:23 6.2K 
[TXT]picosat_965-2.dsc2021-02-21 20:23 1.9K 
[   ]picosat_965-2_amd64.deb2021-02-21 20:23 90K 
[   ]picosat_965.orig.tar.gz2019-08-21 02:23 63K 

Apache/2.4.61 (Unix) OpenSSL/3.0.13 Server at ftp.jaist.ac.jp Port 80