Version of proofgeneral: 4.4.1~pre170114-1.2
Architecture of proofgeneral: all
| proofgeneral | proofgeneral | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 3.6 KB | ./usr/share/icons/hicolor/48x48/proofgeneral.png./usr/share/pixmaps/proofgeneral.png | png_sha512, sha512 | ./usr/share/icons/hicolor/48x48/proofgeneral.png |
| png_sha512, sha512 | ./usr/share/pixmaps/proofgeneral.png | ||