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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 yosys-dbgsym_0.9-1+b1_ppc64.deb  19-Jan-2020 19:04   46M  
 yosys-dev_0.9-1+b1_ppc64.deb     19-Jan-2020 19:04   61K  
 yosys_0.9-1+b1_ppc64.buildinfo   19-Jan-2020 19:04  6.9K  
 yosys_0.9-1+b1_ppc64.deb         19-Jan-2020 19:04  1.9M

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