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 '26471fe93c'
${ noResults }
gentoo-overlay/app-emacs/proofgeneral/Manifest

4 lines
1.1 KiB
Raw Normal View History Unescape

Sync with portage [Thu Jul 5 12:43:20 MSK 2012].
12 years ago
DIST ProofGeneral-3.7.1.tgz 2023176 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93 SHA512 5d5f64a2c7a8e9e18ac9927a6bb938fb618c24f9ed566d5dcbe39b5befd45104c9e2cfd11fa620d32e582fb72dc5483bce9cc7e847f5009ceaea97c7ca6d738c WHIRLPOOL 7301c22d86dff0fd6de08de53924ad6f20725aecec15ef1010f2378474d0e4e2ea7a6bff900ba03d87180d605fbf6afc427bb73f70fbe1d7dfca9714525651e2
DIST ProofGeneral-4.0.tgz 1351482 SHA256 b8aeefd5619683216ff57bae81236dfab71d43d6eefa371d38749fc43415cfaa SHA512 4e2b431a98a620dd5833f3c16922d85e7bb97b36c692ab973bf38c9bcdf866d77e452f8fe95bd53f96994ccdbd323f2e761ecfbf15cc29671688eeef9f5cd861 WHIRLPOOL 91408a0078f68d0dd2b8572facf19f37cc3941cc92c5641e63bd4a433d0d68361515258f2406cf69f0d483fbc6d246d9e13a52ab404c8863f38ae2ef9ef67552
DIST ProofGeneral-4.1.tgz 1428499 SHA256 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7 SHA512 f9bb7ef270b5c793f58441db9287b5018176d8d9d91cc9a2a975c1f0d7a450f1c150d21df16f982738f3562c74d5ae05d61fed5b1c1d6a3eb26cab0131d64696 WHIRLPOOL 02a4f2adc4dc39a19b6a4a46e0e2fb8a80e4340f38470c842425b63ee4c946e8f9b91d51eaafbcce01dc39e81009ebf6e327c1faf294249bf7b32a387444d4e8