Index of /opwin/links42/debian_ubuntu_schulen/pool/universe/y/yosys

	Name	Last modified	Size	Description
	Parent Directory		-
	yosys-dev_0.7-2_amd64.deb	2016-11-07 00:54	46K
	yosys-doc_0.7-2_all.deb	2016-11-07 00:54	2.0M
	yosys_0.7-2_amd64.deb	2016-11-07 00:54	1.6M