Package: covered Priority: optional Section: universe/electronics Installed-Size: 2319 Maintainer: Ubuntu Developers Architecture: amd64 Version: 0.7.10-9 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-9_amd64.deb Size: 579372 SHA512: 55a36fec465f3b9cd4fcaa958d5483bc0ac55c674b1c65232b0de51268d89cf31d44c8dffa4b4e87f22288c9759e277f38d833115951b52e20f60238ba601ac0 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