Package: covered Architecture: i386 Version: 0.7.10-3build1 Priority: optional Section: universe/electronics Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Electronics Team Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2506 Depends: libc6 (>= 2.11), 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_i386.deb Size: 546368 MD5sum: 4eac82057b779dea6afa58340310a188 SHA1: d5b833704f60168b7921d404b3f14b913eae56f4 SHA256: 9e9d627ee2994b330a102e96a84f536415d064f8cd141b2ad59e8cf51008e676 Homepage: http://covered.sourceforge.net/ Description: Verilog code coverage analysis tool Description-md5: 86b156bb1e738b3df7a11df6bbe5429e