Index of /debian-ports/pool-ia64/main/y/yosys

 Name                            Last modified      Size  Description
 Parent Directory                                     -   
 yosys_0.9-1+b1_ia64.buildinfo   20-Jan-2020 19:03  6.9K  
 yosys-dev_0.9-1+b1_ia64.deb     20-Jan-2020 19:03   61K  
 yosys_0.9-1+b1_ia64.deb         20-Jan-2020 19:03  2.2M  
 yosys-dbgsym_0.9-1+b1_ia64.deb  20-Jan-2020 19:03   49M

Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80