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

/usr/share/doc-base/why3-manual-html
/usr/share/doc/why3-doc-html/changelog.Debian.gz
/usr/share/doc/why3-doc-html/changelog.gz
/usr/share/doc/why3-doc-html/copyright
/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/contents_motif.svg
/usr/share/doc/why3-doc-html/html/coqide-0-81.png
/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/gui-1.png
/usr/share/doc/why3-doc-html/html/gui-2.png
/usr/share/doc/why3-doc-html/html/gui-3.png
/usr/share/doc/why3-doc-html/html/gui-4.png
/usr/share/doc/why3-doc-html/html/gui-5.png
/usr/share/doc/why3-doc-html/html/hello_proof.png
/usr/share/doc/why3-doc-html/html/index.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/manual.bbl
/usr/share/doc/why3-doc-html/html/manual.css
/usr/share/doc/why3-doc-html/html/manual.haux.gz
/usr/share/doc/why3-doc-html/html/manual.hind.gz
/usr/share/doc/why3-doc-html/html/manual.html
/usr/share/doc/why3-doc-html/html/manual.htoc.gz
/usr/share/doc/why3-doc-html/html/manual.image.tex
/usr/share/doc/why3-doc-html/html/manual012.html
/usr/share/doc/why3-doc-html/html/manual013.html
/usr/share/doc/why3-doc-html/html/next_motif.svg
/usr/share/doc/why3-doc-html/html/previous_motif.svg
/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/whyml.html