Index of /ubuntu/pool/universe/y/yosys

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]yosys_0.5.0+20151013gitf13e387-1_amd64.deb2016-02-08 00:44 1.4M 
[   ]yosys_0.5.0+20151013gitf13e387-1_i386.deb2016-02-08 00:44 1.5M 
[   ]yosys-dev_0.7-2_amd64.deb2016-11-07 00:54 46K 
[   ]yosys_0.7-2_amd64.deb2016-11-07 00:54 1.6M 
[   ]yosys-doc_0.7-2_all.deb2016-11-07 00:54 2.0M 
[   ]yosys-dev_0.7-2_i386.deb2016-11-07 00:54 46K 
[   ]yosys_0.7-2_i386.deb2016-11-07 00:54 1.7M 
[   ]yosys-dev_0.9-1build2_amd64.deb2020-02-08 16:33 49K 
[   ]yosys-doc_0.9-1build2_all.deb2020-02-08 16:33 2.1M 
[   ]yosys_0.9-1build2_amd64.deb2020-02-08 16:33 2.0M 

Apache/2.4.41 (Ubuntu) Server at fermi.inf.unibz.it Port 80