Package: covered Priority: optional Section: universe/electronics Installed-Size: 2320 Maintainer: Ubuntu Developers Architecture: amd64 Version: 0.7.10-7 Recommends: iverilog | verilog | gplcver (>= 2.12a-1.1) Depends: libc6 (>= 2.34), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), zlib1g (>= 1:1.1.4), tklib Filename: pool/universe/c/covered/covered_0.7.10-7_amd64.deb Size: 580632 MD5sum: 3a687423264f27ec46d0c6ec1df70453 SHA1: 44debe0702bade3f178c740d0ec3879126d22005 SHA256: 5368e8e246369f94c553bb65e27c729087d9c6f059d4cbcb0100c750a9d827ba SHA512: 6e318bc7ee62c41c971208b7cc46a20e1231e71c8b5fb3e249efb6ef5fee59aa3a8553d847faf8625f129ef1bfc5a31d97aa0fd4ba6ef2d15c0edfe5c6c5e03b Homepage: http://covered.sourceforge.net/ Description: Verilog code coverage analysis tool Description-md5: 86b156bb1e738b3df7a11df6bbe5429e Original-Maintainer: Debian Electronics Team Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug