Index of /debian/pool/main/y/yosys

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yosys_0.52-2_i386.deb2025-05-04 19:44 6.1M 
[ ]yosys_0.52-5_i386.deb2026-04-20 21:58 6.1M 
[ ]yosys_0.52-5_amd64.deb2026-04-20 21:52 5.9M 
[ ]yosys_0.52-2_amd64.deb2025-05-04 19:49 5.9M 
[ ]yosys_0.64-7_i386.deb2026-04-27 10:21 5.9M 
[ ]yosys_0.64-8_i386.deb2026-05-01 17:28 5.9M 
[ ]yosys_0.64-8_amd64.deb2026-05-01 17:23 5.7M 
[ ]yosys_0.64-7_amd64.deb2026-04-27 09:55 5.7M 
[ ]yosys-abc_0.64-7_i386.deb2026-04-27 10:21 5.1M 
[ ]yosys-abc_0.64-8_i386.deb2026-05-01 17:28 5.1M 
[ ]yosys-abc_0.64-8_amd64.deb2026-05-01 17:23 5.1M 
[ ]yosys-abc_0.64-7_amd64.deb2026-04-27 09:55 5.1M 
[ ]yosys-abc_0.52-2_i386.deb2025-05-04 19:44 4.8M 
[ ]yosys-abc_0.52-5_i386.deb2026-04-20 21:58 4.8M 
[ ]yosys-abc_0.52-5_amd64.deb2026-04-20 21:52 4.7M 
[ ]yosys-abc_0.52-2_amd64.deb2025-05-04 19:49 4.7M 
[ ]yosys_0.23-6_i386.deb2022-12-04 01:13 3.3M 
[ ]yosys_0.23-6_amd64.deb2022-12-04 00:28 3.1M 
[ ]yosys-doc_0.64-8_all.deb2026-05-01 17:18 3.0M 
[ ]yosys-doc_0.64-7_all.deb2026-04-27 10:53 3.0M 
[ ]yosys-doc_0.52-2_all.deb2025-05-04 19:44 2.8M 
[ ]yosys-doc_0.52-5_all.deb2026-04-20 21:47 2.7M 
[ ]yosys-doc_0.23-6_all.deb2022-12-04 00:28 2.5M 
[ ]yosys_0.9-1+b1_i386.deb2020-01-19 18:06 2.2M 
[ ]yosys-doc_0.9-1_all.deb2019-10-19 00:12 2.1M 
[ ]yosys_0.9-1+b1_amd64.deb2020-01-19 18:27 2.0M 
[ ]yosys-dev_0.64-8_amd64.deb2026-05-01 17:23 153K 
[ ]yosys-dev_0.64-8_i386.deb2026-05-01 17:28 153K 
[ ]yosys-dev_0.64-7_amd64.deb2026-04-27 09:55 153K 
[ ]yosys-dev_0.64-7_i386.deb2026-04-27 10:21 153K 
[ ]yosys-dev_0.52-2_amd64.deb2025-05-04 19:49 133K 
[ ]yosys-dev_0.52-2_i386.deb2025-05-04 19:44 133K 
[ ]yosys-dev_0.52-5_amd64.deb2026-04-20 21:52 132K 
[ ]yosys-dev_0.52-5_i386.deb2026-04-20 21:58 132K 
[ ]yosys-dev_0.23-6_i386.deb2022-12-04 01:13 93K 
[ ]yosys-dev_0.23-6_amd64.deb2022-12-04 00:28 93K 
[ ]yosys-dev_0.9-1+b1_i386.deb2020-01-19 18:06 61K 
[ ]yosys-dev_0.9-1+b1_amd64.deb2020-01-19 18:27 61K 
Apache Server at mirror.informatik.uni-goettingen.de Port 443