proofgeneral <-> proofgeneral

Version of proofgeneral: 4.4.1~pre170114-1.2

Architecture of proofgeneral: all

proofgeneralproofgeneral
sizefilenamehash functionsfilename
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

Details about this service