Package: covered Version: 0.7.10-1 Installed-Size: 2324 Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debian.org> Architecture: amd64 Depends: libc6 (>= 2.7), tcl8.5 (>= 8.5.0), tk8.5 (>= 8.5.0), zlib1g (>= 1:1.1.4), tklib Recommends: iverilog | verilog | gplcver (>= 2.12a-1.1) Description: Verilog code coverage analysis tool Homepage: http://covered.sourceforge.net/ Description-md5: 86b156bb1e738b3df7a11df6bbe5429e Tag: field::electronics, implemented-in::c, interface::commandline, interface::x11, role::program, uitoolkit::tk, use::viewing, x11::application Section: electronics Priority: optional Filename: pool/main/c/covered/covered_0.7.10-1_amd64.deb Size: 854730 MD5sum: 1d6cdfce30d0948f507211976075f0fb SHA1: bc7a307a7679abfca8bbe36c08d8a76abe4f2932 SHA256: 4b73463bcf77536b7f8fbbb1bb548b4d56f5cdc204da8bf657f00c0db2ba3d7a