openpaperwork-core-doc <-> why3-doc-html

Version of openpaperwork-core-doc: 2.0.2-3

Architecture of openpaperwork-core-doc: all

Version of why3-doc-html: 1.3.3-1

Architecture of why3-doc-html: all

openpaperwork-core-docwhy3-doc-html
sizefilenamehash functionsfilename
9.3 KB./usr/share/doc/openpaperwork-core/_static/alabaster.css sha512./usr/share/doc/why3-doc-html/html/_static/alabaster.css
286 B./usr/share/doc/openpaperwork-core/_static/file.png png_sha512, sha512./usr/share/doc/why3-doc-html/html/_static/file.png
90 B./usr/share/doc/openpaperwork-core/_static/plus.png png_sha512, sha512./usr/share/doc/why3-doc-html/html/_static/plus.png
90 B./usr/share/doc/openpaperwork-core/_static/minus.png png_sha512, sha512./usr/share/doc/why3-doc-html/html/_static/minus.png
42 B./usr/share/doc/openpaperwork-core/_static/custom.css sha512./usr/share/doc/why3-doc-html/html/_static/custom.css

Details about this service