libghc-agda-doc <-> libghc-dependent-sum-doc

Version of libghc-agda-doc: 2.6.3-1

Architecture of libghc-agda-doc: all

Version of libghc-dependent-sum-doc: 0.7.2.0-1

Architecture of libghc-dependent-sum-doc: all

libghc-agda-doclibghc-dependent-sum-doc
sizefilenamehash functionsfilename
35.4 KB./usr/share/doc/libghc-agda-doc/html/haddock-bundle.min.js sha512./usr/share/doc/libghc-dependent-sum-doc/html/haddock-bundle.min.js
14.0 KB./usr/share/doc/libghc-agda-doc/html/linuwial.css sha512./usr/share/doc/libghc-dependent-sum-doc/html/linuwial.css
11.1 KB./usr/share/doc/libghc-agda-doc/html/synopsis.png png_sha512, sha512./usr/share/doc/libghc-dependent-sum-doc/html/synopsis.png
3.4 KB./usr/share/doc/libghc-agda-doc/html/quick-jump.css sha512./usr/share/doc/libghc-dependent-sum-doc/html/quick-jump.css
1.4 KB./usr/share/doc/libghc-agda-doc/html/src/style.css sha512./usr/share/doc/libghc-dependent-sum-doc/html/src/style.css
567 B./usr/share/doc/libghc-agda-doc/html/src/highlight.js sha512./usr/share/doc/libghc-dependent-sum-doc/html/src/highlight.js
28 B./usr/share/doc/libghc-agda-doc/html/meta.json sha512./usr/share/doc/libghc-dependent-sum-doc/html/meta.json

Details about this service