python-fiat-doc <-> why3-doc-html

Version of python-fiat-doc: 2019.2.0~git20210116.0439689-2

Architecture of python-fiat-doc: all

Version of why3-doc-html: 1.3.3-1

Architecture of why3-doc-html: all

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

Details about this service