File list of package why3-doc-html in questing of architecture all

/usr/share/doc-base/why3-doc-html.why3-manual-html
/usr/share/doc/why3-doc-html/NEWS.Debian.gz
/usr/share/doc/why3-doc-html/changelog.Debian.gz
/usr/share/doc/why3-doc-html/copyright
/usr/share/doc/why3-doc-html/html/.buildinfo
/usr/share/doc/why3-doc-html/html/_images/ce_example0_p1.png
/usr/share/doc/why3-doc-html/html/_images/ce_example0_p2.png
/usr/share/doc/why3-doc-html/html/_images/coqide.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-162219df9c5ca3355c3a7e9e021b58638c5f05f9.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-162219df9c5ca3355c3a7e9e021b58638c5f05f9.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-1c142a5dc731fc078810f68bea10ec96ca9d34dc.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-1c142a5dc731fc078810f68bea10ec96ca9d34dc.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-27a01ce6d69a071a570e866dca5e6e679b41ba97.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-27a01ce6d69a071a570e866dca5e6e679b41ba97.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-5d3e3ed4271b8af278956a51911cc10f55fd79e8.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-5d3e3ed4271b8af278956a51911cc10f55fd79e8.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-a7bee48d9729049ecf3ce4317fe812cba7ca6f68.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-a7bee48d9729049ecf3ce4317fe812cba7ca6f68.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-be42a179662628ec07c415f6a3707b01aa6bdf59.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-be42a179662628ec07c415f6a3707b01aa6bdf59.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-d792184dbd5bb66505966eda4d65f18f7e43618f.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-d792184dbd5bb66505966eda4d65f18f7e43618f.png.map
/usr/share/doc/why3-doc-html/html/_images/graphviz-ec58152289ae3ff8953154ae6c82768022167baf.png
/usr/share/doc/why3-doc-html/html/_images/graphviz-ec58152289ae3ff8953154ae6c82768022167baf.png.map
/usr/share/doc/why3-doc-html/html/_images/gui-1.png
/usr/share/doc/why3-doc-html/html/_images/gui-2.png
/usr/share/doc/why3-doc-html/html/_images/gui-3.png
/usr/share/doc/why3-doc-html/html/_images/gui-4.png
/usr/share/doc/why3-doc-html/html/_images/gui-5.png
/usr/share/doc/why3-doc-html/html/_images/gui-infer.png
/usr/share/doc/why3-doc-html/html/_images/hello_proof.png
/usr/share/doc/why3-doc-html/html/_sources/api.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/changes.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/exec.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/foreword.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/genindex.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/index.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/input_formats.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/install.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/itp.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/manpages.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/starting.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/syntaxref.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/technical.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/vcgen.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/whyml.rst.txt
/usr/share/doc/why3-doc-html/html/_sources/zebibliography.rst.txt
/usr/share/doc/why3-doc-html/html/_static/alabaster.css
/usr/share/doc/why3-doc-html/html/_static/basic.css
/usr/share/doc/why3-doc-html/html/_static/custom.css
/usr/share/doc/why3-doc-html/html/_static/doctools.js
/usr/share/doc/why3-doc-html/html/_static/documentation_options.js
/usr/share/doc/why3-doc-html/html/_static/file.png
/usr/share/doc/why3-doc-html/html/_static/forkme_right_darkblue_121621.png
/usr/share/doc/why3-doc-html/html/_static/graphviz.css
/usr/share/doc/why3-doc-html/html/_static/jquery.js
/usr/share/doc/why3-doc-html/html/_static/language_data.js
/usr/share/doc/why3-doc-html/html/_static/minus.png
/usr/share/doc/why3-doc-html/html/_static/plus.png
/usr/share/doc/why3-doc-html/html/_static/pygments.css
/usr/share/doc/why3-doc-html/html/_static/searchtools.js
/usr/share/doc/why3-doc-html/html/_static/sphinx_highlight.js
/usr/share/doc/why3-doc-html/html/_static/underscore.js
/usr/share/doc/why3-doc-html/html/api.html
/usr/share/doc/why3-doc-html/html/changes.html
/usr/share/doc/why3-doc-html/html/exec.html
/usr/share/doc/why3-doc-html/html/foreword.html
/usr/share/doc/why3-doc-html/html/genindex.html
/usr/share/doc/why3-doc-html/html/index.html
/usr/share/doc/why3-doc-html/html/input_formats.html
/usr/share/doc/why3-doc-html/html/install.html
/usr/share/doc/why3-doc-html/html/itp.html
/usr/share/doc/why3-doc-html/html/manpages.html
/usr/share/doc/why3-doc-html/html/objects.inv
/usr/share/doc/why3-doc-html/html/search.html
/usr/share/doc/why3-doc-html/html/searchindex.js
/usr/share/doc/why3-doc-html/html/starting.html
/usr/share/doc/why3-doc-html/html/syntaxref.html
/usr/share/doc/why3-doc-html/html/technical.html
/usr/share/doc/why3-doc-html/html/vcgen.html
/usr/share/doc/why3-doc-html/html/whyml.html
/usr/share/doc/why3-doc-html/html/zebibliography.html