covered 0.7.10-3+b1 in debian - stretch / main

About

This package is 531.1 KB. It is available at http://ftp.debian.org/debian/pool/main/c/covered/covered_0.7.10-3+b1_amd64.deb .

View its full control file here: debian/control.

Description

Verilog code coverage analysis tool

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
/usr/		root:root	0o755
/usr/bin/		root:root	0o755
/usr/bin/covered	application/x-sharedlib	root:root	0o755	1016.5 KB
/usr/lib/		root:root	0o755
/usr/lib/x86_64-linux-gnu/		root:root	0o755
/usr/lib/x86_64-linux-gnu/covered/		root:root	0o755
/usr/lib/x86_64-linux-gnu/covered/covered.cver.so	application/x-sharedlib	root:root	0o644	455.0 KB
/usr/lib/x86_64-linux-gnu/covered/covered.vpi	application/x-sharedlib	root:root	0o755	455.0 KB
/usr/share/		root:root	0o755
/usr/share/covered/		root:root	0o755
/usr/share/covered/.coveredrc	text/plain	root:root	0o644	7.4 KB
/usr/share/covered/scripts/		root:root	0o755
/usr/share/covered/scripts/assert.tcl	text/plain	root:root	0o644	15.2 KB
/usr/share/covered/scripts/balloon.tcl	text/plain	root:root	0o644	1.8 KB
/usr/share/covered/scripts/banner.gif	image/gif	root:root	0o644	26.2 KB
/usr/share/covered/scripts/cdd_view.tcl	text/plain	root:root	0o644	3.9 KB
/usr/share/covered/scripts/checked.gif	image/gif	root:root	0o644	83 bytes
/usr/share/covered/scripts/clear.gif	image/gif	root:root	0o644	85 bytes
/usr/share/covered/scripts/comb.tcl	text/plain	root:root	0o644	26.3 KB
/usr/share/covered/scripts/cov_create.tcl	text/plain	root:root	0o644	3.5 KB
/usr/share/covered/scripts/cov_icon.gif	image/gif	root:root	0o644	281 bytes
/usr/share/covered/scripts/exclude.tcl	text/plain	root:root	0o644	6.9 KB
/usr/share/covered/scripts/find.gif	image/gif	root:root	0o644	370 bytes
/usr/share/covered/scripts/fsm.tcl	text/plain	root:root	0o644	15.7 KB
/usr/share/covered/scripts/gen_new.tcl	text/plain	root:root	0o644	67.1 KB
/usr/share/covered/scripts/gen_rank.tcl	text/plain	root:root	0o644	31.5 KB
/usr/share/covered/scripts/gen_report.tcl	text/plain	root:root	0o644	16.5 KB
/usr/share/covered/scripts/help.tcl	text/plain	root:root	0o644	4.9 KB
/usr/share/covered/scripts/left_arrow.gif	image/gif	root:root	0o644	115 bytes
/usr/share/covered/scripts/main_view.tcl	text/plain	root:root	0o644	21.3 KB
/usr/share/covered/scripts/memory.tcl	text/plain	root:root	0o644	17.1 KB
/usr/share/covered/scripts/menu_create.tcl	text/plain	root:root	0o644	13.3 KB
/usr/share/covered/scripts/preferences.tcl	text/plain	root:root	0o644	53.0 KB
/usr/share/covered/scripts/process_file.tcl	text/plain	root:root	0o644	40.5 KB
/usr/share/covered/scripts/right_arrow.gif	image/gif	root:root	0o644	115 bytes
/usr/share/covered/scripts/summary.tcl	text/plain	root:root	0o644	10.2 KB
/usr/share/covered/scripts/toggle.tcl	text/plain	root:root	0o644	9.6 KB
/usr/share/covered/scripts/unchecked.gif	image/gif	root:root	0o644	70 bytes
/usr/share/covered/scripts/verilog.tcl	text/plain	root:root	0o644	14.9 KB
/usr/share/covered/scripts/viewer.tcl	text/plain	root:root	0o644	4.3 KB
/usr/share/covered/scripts/wizard.tcl	text/plain	root:root	0o644	3.2 KB
/usr/share/doc/		root:root	0o755
/usr/share/doc/covered/		root:root	0o755
/usr/share/doc/covered/changelog.Debian.amd64.gz	application/gzip	root:root	0o644	204 bytes
/usr/share/doc/covered/changelog.Debian.gz	application/gzip	root:root	0o644	1.2 KB
/usr/share/doc/covered/changelog.gz	application/gzip	root:root	0o644	135 bytes
/usr/share/doc/covered/copyright	text/plain	root:root	0o644	2.8 KB
/usr/share/doc/covered/NEWS.gz	application/gzip	root:root	0o644	163 bytes
/usr/share/doc/covered/README	text/plain	root:root	0o644	1.4 KB
/usr/share/doc/covered/TODO	text/plain	root:root	0o644	1.7 KB
/usr/share/man/		root:root	0o755
/usr/share/man/man1/		root:root	0o755
/usr/share/man/man1/covered.1.gz	application/gzip	root:root	0o644	7.8 KB