why3-doc-html 0.88.3-1ubuntu4 in ubuntu - bionic / universe

About

This package is 354.6 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/w/why3/why3-doc-html_0.88.3-1ubuntu4_all.deb .

View its full control file here: debian/control.

Description

HTML Documentation of the why3 verification platform

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
postinst	text/x-shellscript	N/A	N/A	388 bytes
postrm	text/x-shellscript	N/A	N/A	959 bytes
/usr/		root:root	0o755
/usr/share/		root:root	0o755
/usr/share/doc/		root:root	0o755
/usr/share/doc-base/		root:root	0o755
/usr/share/doc-base/why3-manual-html	text/plain	root:root	0o644	995 bytes
/usr/share/doc/why3-doc-html/		root:root	0o755
/usr/share/doc/why3-doc-html/changelog.Debian.gz	application/gzip	root:root	0o644	1.1 KB
/usr/share/doc/why3-doc-html/copyright	text/plain	root:root	0o644	14.9 KB
/usr/share/doc/why3-doc-html/html/		root:root	0o755
/usr/share/doc/why3-doc-html/html/api.html	text/html	root:root	0o644	26.1 KB
/usr/share/doc/why3-doc-html/html/changes.html	text/html	root:root	0o644	6.2 KB
/usr/share/doc/why3-doc-html/html/contents_motif.gif	image/gif	root:root	0o644	316 bytes
/usr/share/doc/why3-doc-html/html/coqide-0-81.png	image/png	root:root	0o644	17.0 KB
/usr/share/doc/why3-doc-html/html/exec.html	text/html	root:root	0o644	5.8 KB
/usr/share/doc/why3-doc-html/html/foreword.html	text/html	root:root	0o644	3.5 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-1.png	image/png	root:root	0o644	47.4 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-2.png	image/png	root:root	0o644	51.6 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-3.png	image/png	root:root	0o644	38.8 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-4.png	image/png	root:root	0o644	52.8 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-5.png	image/png	root:root	0o644	55.1 KB
/usr/share/doc/why3-doc-html/html/hello_proof.png	image/png	root:root	0o644	16.9 KB
/usr/share/doc/why3-doc-html/html/index.html	text/html	root:root	0o644	7.7 KB
/usr/share/doc/why3-doc-html/html/install.html	text/html	root:root	0o644	9.9 KB
/usr/share/doc/why3-doc-html/html/itp.html	text/html	root:root	0o644	16.7 KB
/usr/share/doc/why3-doc-html/html/manpages.html	text/html	root:root	0o644	68.2 KB
/usr/share/doc/why3-doc-html/html/manual013.html	text/html	root:root	0o644	4.5 KB
/usr/share/doc/why3-doc-html/html/manual014.html	text/html	root:root	0o644	34.1 KB
/usr/share/doc/why3-doc-html/html/manual.bbl	text/x-tex	root:root	0o644	2.8 KB
/usr/share/doc/why3-doc-html/html/manual.css	text/plain	root:root	0o644	1.9 KB
/usr/share/doc/why3-doc-html/html/manual.haux.gz	application/gzip	root:root	0o644	2.9 KB
/usr/share/doc/why3-doc-html/html/manual.hind.gz	application/gzip	root:root	0o644	2.9 KB
/usr/share/doc/why3-doc-html/html/manual.html	text/html	root:root	0o644	404.0 KB
/usr/share/doc/why3-doc-html/html/manual.htoc.gz	application/gzip	root:root	0o644	2.0 KB
/usr/share/doc/why3-doc-html/html/manual.image.tex	text/x-tex	root:root	0o644	2.8 KB
/usr/share/doc/why3-doc-html/html/next_motif.gif	image/gif	root:root	0o644	317 bytes
/usr/share/doc/why3-doc-html/html/previous_motif.gif	image/gif	root:root	0o644	317 bytes
/usr/share/doc/why3-doc-html/html/starting.html	text/html	root:root	0o644	16.8 KB
/usr/share/doc/why3-doc-html/html/syntax.html	text/html	root:root	0o644	24.3 KB
/usr/share/doc/why3-doc-html/html/syntaxref.html	text/html	root:root	0o644	87.0 KB
/usr/share/doc/why3-doc-html/html/technical.html	text/html	root:root	0o644	52.8 KB
/usr/share/doc/why3-doc-html/html/whyml.html	text/html	root:root	0o644	52.0 KB