Index of /debian-archive/pool/main/y/yosys
Name
Last modified
Size
Description
Parent Directory
-
yosys-dev_0.7-2+deb9u1_amd64.deb
2019-02-10 21:26
53K
yosys_0.7-2+deb9u1_amd64.deb
2019-02-10 21:26
1.6M
yosys-doc_0.7-2+deb9u1_all.deb
2019-02-11 00:29
2.0M
Apache/2.4.62 (Debian) Server at 20.117.237.54 Port 80