Version of proofgeneral: 4.5-3
Architecture of proofgeneral: all
Version of proofgeneral-doc: 4.5-3
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 |
| 11.0 KB | ./usr/share/doc/proofgeneral/changelog.gz | gzip_sha512, sha512 | ./usr/share/doc/proofgeneral-doc/changelog.gz |