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
| proofgeneral | proofgeneral-doc | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 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 |