proofgeneral <-> proofgeneral-doc

Version of proofgeneral: 4.4.1~pre170114-1.2

Architecture of proofgeneral: all

Version of proofgeneral-doc: 4.4.1~pre170114-1.2

Architecture of proofgeneral-doc: all

proofgeneralproofgeneral-doc
sizefilenamehash functionsfilename
21.5 KB./usr/share/doc/proofgeneral/copyright sha512./usr/share/doc/proofgeneral-doc/copyright
7.8 KB./usr/share/doc/proofgeneral/changelog.gz gzip_sha512, sha512./usr/share/doc/proofgeneral-doc/changelog.gz
4.9 KB./usr/share/doc/proofgeneral/changelog.Debian.gz gzip_sha512, sha512./usr/share/doc/proofgeneral-doc/changelog.Debian.gz

Details about this service