Package: covered
Architecture: amd64
Version: 0.7.10-3build1
Priority: optional
Section: universe/electronics
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2375
Depends: libc6 (>= 2.14), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), zlib1g (>= 1:1.1.4), tklib
Recommends: iverilog | verilog | gplcver (>= 2.12a-1.1)
Filename: pool/universe/c/covered/covered_0.7.10-3build1_amd64.deb
Size: 539716
MD5sum: 0e19669f1481b71a6843c155e7c2d1f4
SHA1: a4e81050a24039217286dd5f229a9448532c2f1a
SHA256: 14240c3eea31c7f194967762cf403b1b0f1d1b048e3f430c708787ccb7bb5f90
Homepage: http://covered.sourceforge.net/
Description: Verilog code coverage analysis tool
Description-md5: 86b156bb1e738b3df7a11df6bbe5429e