why3-doc-htmloctavia-doc

Version of why3-doc-html: 1.8.2-3

Architecture of why3-doc-html: all

Version of octavia-doc: 18.0.0-2

Architecture of octavia-doc: all

why3-doc-htmloctavia-doc
sizefilenamehash functionsfilename
286 B./usr/share/doc/why3-doc-html/html/_static/file.pngpng_sha512, sha512./usr/share/doc/octavia-doc/html/_static/file.png
147 B./usr/share/doc/why3-doc-html/html/_static/graphviz.csssha512./usr/share/doc/octavia-doc/html/_static/graphviz.css
90 B./usr/share/doc/why3-doc-html/html/_static/plus.pngpng_sha512, sha512./usr/share/doc/octavia-doc/html/_static/plus.png
90 B./usr/share/doc/why3-doc-html/html/_static/minus.pngpng_sha512, sha512./usr/share/doc/octavia-doc/html/_static/minus.png
29 B./usr/share/doc/why3-doc-html/html/_images/graphviz-162219df9c5ca3355c3a7e9e021b58638c5f05f9.png.map./usr/share/doc/why3-doc-html/html/_images/graphviz-5d3e3ed4271b8af278956a51911cc10f55fd79e8.png.map./usr/share/doc/why3-doc-html/html/_images/graphviz-d792184dbd5bb66505966eda4d65f18f7e43618f.png.mapsha512./usr/share/doc/octavia-doc/html/_images/graphviz-4419367b377e0c701cc8199736437bf5497796b5.png.map
sha512./usr/share/doc/octavia-doc/html/_images/graphviz-45cdf9d5066079e76ec6a8d792abfdb075bbf6f5.png.map

Details about this service