elpa-agda2-mode <-> libghc-agda-doc

Version of elpa-agda2-mode: 2.6.1-1

Architecture of elpa-agda2-mode: all

Version of libghc-agda-doc: 2.6.1-1

Architecture of libghc-agda-doc: all

elpa-agda2-modelibghc-agda-doc
sizefilenamehash functionsfilename
12.9 KB./usr/share/doc/elpa-agda2-mode/changelog.gz gzip_sha512, sha512./usr/share/doc/libghc-agda-doc/changelog.gz
5.9 KB./usr/share/doc/elpa-agda2-mode/changelog.Debian.gz gzip_sha512, sha512./usr/share/doc/libghc-agda-doc/changelog.Debian.gz
5.9 KB./usr/share/doc/elpa-agda2-mode/buildinfo_all.gz gzip_sha512, sha512./usr/share/doc/libghc-agda-doc/buildinfo_all.gz
3.3 KB./usr/share/doc/elpa-agda2-mode/copyright sha512./usr/share/doc/libghc-agda-doc/copyright

Details about this service