Package - yosys-abc

Package: yosys-abc
apt-get install yosys-abc

Manuals in package:

yosys-abc(1)

Documentations in package:

yosys-abc

Primary informations

Download package: http://deb.debian.org/debian/pool/main/y/yosys/yosys-abc_0.52-2_amd64.deb (Size: 4.7MiB)

Property	Value
Package	yosys-abc
Source	yosys
Version	0.52-2
Installed-Size	12925
Maintainer	Debian Electronics Team
Architecture	amd64
Replaces	yosys (<< 0.32-1)
Depends	libbz2-1.0, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libreadline8t64 (>= 6.0), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4)
Breaks	yosys (<< 0.32-1)
Description	Sequential Logic Synthesis and Verification Algorithms
Description-md5	78d3a02b9e594b464ee6a916e86b3b3e
Homepage	https://github.com/YosysHQ/yosys
Section	electronics
Priority	optional
Filename	pool/main/y/yosys/yosys-abc_0.52-2_amd64.deb
Size	4944476
MD5sum	cce86565ab8b7e572c94472a56e41c5c
SHA256	f54c92c5ce88959f6aedc71c7b01eaf2b39d6c8c3e5f02784b6ce24736dc50e4

Files in package

/usr/bin/yosys-abc
/usr/share/doc/yosys-abc/changelog.Debian.gz
/usr/share/doc/yosys-abc/changelog.gz
/usr/share/doc/yosys-abc/copyright
/usr/share/man/man1/yosys-abc.1.gz