Package - yosys-dev

Package: yosys-dev
apt-get install yosys-dev

Manuals in package:

yosys-config(1)

Documentations in package:

yosys-dev

Primary informations

Download package: http://deb.debian.org/debian/pool/main/y/yosys/yosys-dev_0.52-2_amd64.deb (Size: 133.1KiB)

Property	Value
Package	yosys-dev
Source	yosys
Version	0.52-2
Installed-Size	679
Maintainer	Debian Electronics Team
Architecture	amd64
Depends	tcl-dev, libffi-dev, libreadline-dev
Description	Framework for Verilog RTL synthesis (development files)
Description-md5	1046b72bf5b8ccf517ca1661cff5d331
Homepage	https://github.com/YosysHQ/yosys
Section	electronics
Priority	optional
Filename	pool/main/y/yosys/yosys-dev_0.52-2_amd64.deb
Size	136292
MD5sum	090c469e5f6816822aebcec2a83fb9fa
SHA256	4f2bbecab56ffa86ccdab707f68362fdcdfb4eaaf795d3aebe4b26cc6984d6bc

Files in package

/usr/bin/yosys-config
/usr/share/doc/yosys-dev/changelog.Debian.gz
/usr/share/doc/yosys-dev/changelog.gz
/usr/share/doc/yosys-dev/copyright
/usr/share/man/man1/yosys-config.1.gz
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.cc
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.h
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_time.h
/usr/share/yosys/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_vcd.h
/usr/share/yosys/include/backends/rtlil/rtlil_backend.h
/usr/share/yosys/include/frontends/ast/ast.h
/usr/share/yosys/include/frontends/ast/ast_binding.h
/usr/share/yosys/include/frontends/blif/blifparse.h
/usr/share/yosys/include/kernel/binding.h
/usr/share/yosys/include/kernel/bitpattern.h
/usr/share/yosys/include/kernel/cellaigs.h
/usr/share/yosys/include/kernel/celledges.h
/usr/share/yosys/include/kernel/celltypes.h
/usr/share/yosys/include/kernel/consteval.h
/usr/share/yosys/include/kernel/constids.inc
/usr/share/yosys/include/kernel/cost.h
/usr/share/yosys/include/kernel/drivertools.h
/usr/share/yosys/include/kernel/ff.h
/usr/share/yosys/include/kernel/ffinit.h
/usr/share/yosys/include/kernel/ffmerge.h
/usr/share/yosys/include/kernel/fmt.h
/usr/share/yosys/include/kernel/fstdata.h
/usr/share/yosys/include/kernel/gzip.h
/usr/share/yosys/include/kernel/hashlib.h
/usr/share/yosys/include/kernel/io.h
/usr/share/yosys/include/kernel/json.h
/usr/share/yosys/include/kernel/log.h
/usr/share/yosys/include/kernel/macc.h
/usr/share/yosys/include/kernel/mem.h
/usr/share/yosys/include/kernel/modtools.h
/usr/share/yosys/include/kernel/qcsat.h
/usr/share/yosys/include/kernel/register.h
/usr/share/yosys/include/kernel/rtlil.h
/usr/share/yosys/include/kernel/satgen.h
/usr/share/yosys/include/kernel/scopeinfo.h
/usr/share/yosys/include/kernel/sexpr.h
/usr/share/yosys/include/kernel/sigtools.h
/usr/share/yosys/include/kernel/timinginfo.h
/usr/share/yosys/include/kernel/utils.h
/usr/share/yosys/include/kernel/yosys.h
/usr/share/yosys/include/kernel/yosys_common.h
/usr/share/yosys/include/kernel/yw.h
/usr/share/yosys/include/libs/ezsat/ezminisat.h
/usr/share/yosys/include/libs/ezsat/ezsat.h
/usr/share/yosys/include/libs/fst/fstapi.h
/usr/share/yosys/include/libs/json11/json11.hpp
/usr/share/yosys/include/libs/sha1/sha1.h
/usr/share/yosys/include/passes/fsm/fsmdata.h