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

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.59 (Debian) Server at debian.ruhr-uni-bochum.de Port 443