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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yosys_0.52-2_amd64.deb2025-12-16 22:50 5.9M 
[ ]yosys-abc_0.52-2_amd64.deb2025-12-16 22:50 4.7M 
[ ]yosys-doc_0.52-2_all.deb2025-12-16 22:50 2.8M 
[ ]yosys-dev_0.52-2_amd64.deb2025-12-16 22:50 133K 
Apache/2.4.58 (Ubuntu) Server at 45.142.106.14 Port 80