Version of libghc-agda-dev: 2.8.0-2+b2
Architecture of libghc-agda-dev: amd64
Version of agda-stdlib-doc: 2.3-1
Architecture of agda-stdlib-doc: all
| libghc-agda-dev | agda-stdlib-doc | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 1.8 KB | ./usr/share/libghc-agda-dev/html/Agda.css | sha512 | ./usr/share/doc/agda-stdlib/html/Agda.css |