Version of libghc-agda-doc: 2.6.3-1
Architecture of libghc-agda-doc: all
Version of libghc-pretty-simple-doc: 4.1.2.0-2
Architecture of libghc-pretty-simple-doc: all
libghc-agda-doc | libghc-pretty-simple-doc | ||
---|---|---|---|
size | filename | hash functions | filename |
35.4 KB | ./usr/share/doc/libghc-agda-doc/html/haddock-bundle.min.js | sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/haddock-bundle.min.js |
14.0 KB | ./usr/share/doc/libghc-agda-doc/html/linuwial.css | sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/linuwial.css |
11.1 KB | ./usr/share/doc/libghc-agda-doc/html/synopsis.png | png_sha512, sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/synopsis.png |
3.4 KB | ./usr/share/doc/libghc-agda-doc/html/quick-jump.css | sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/quick-jump.css |
1.4 KB | ./usr/share/doc/libghc-agda-doc/html/src/style.css | sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/src/style.css |
567 B | ./usr/share/doc/libghc-agda-doc/html/src/highlight.js | sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/src/highlight.js |
28 B | ./usr/share/doc/libghc-agda-doc/html/meta.json | sha512 | ./usr/share/doc/libghc-pretty-simple-doc/html/meta.json |