vitables <-> why3-doc-html

Version of vitables: 3.0.2-4

Architecture of vitables: all

Version of why3-doc-html: 1.6.0-1

Architecture of why3-doc-html: all

vitableswhy3-doc-html
sizefilenamehash functionsfilename
286 B./usr/share/doc/vitables/html/_static/file.png png_sha512, sha512./usr/share/doc/why3-doc-html/html/_static/file.png
90 B./usr/share/doc/vitables/html/_static/plus.png png_sha512, sha512./usr/share/doc/why3-doc-html/html/_static/plus.png
90 B./usr/share/doc/vitables/html/_static/minus.png png_sha512, sha512./usr/share/doc/why3-doc-html/html/_static/minus.png

Details about this service