calculate
/
gentoo-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '0a5c4a5ea7'
${ noResults }
gentoo-overlay/app-emacs/proofgeneral/Manifest

4 lines
602 B
Raw Blame History

DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
DIST ProofGeneral-4.0.tgz 1351482 RMD160 1c89da5fb4ac718f5ac9ff2a940c1e2222f18236 SHA1 af3a821ce6b4d3d86a1eaa8b27e3e5902da384c7 SHA256 b8aeefd5619683216ff57bae81236dfab71d43d6eefa371d38749fc43415cfaa
DIST ProofGeneral-4.1.tgz 1428499 RMD160 d7f677926117b859b8b3087f46d349f5aec9d843 SHA1 0dd18bd0bdad8faab76f61bffc8e432c3ed7aeaf SHA256 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7
Reference in new issue View Git Blame Copy Permalink