diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2013-12-24 12:45:54 +0000 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2013-12-24 12:45:54 +0000 |
| commit | 03d6ca4809704f99b140ce878c09dccc213ad636 (patch) | |
| tree | 2156b2ce82a0180d8e24b0951dafa3e72d9cc21c /app-emacs/proofgeneral | |
| parent | Stable for x86, wrt bug #490100 (diff) | |
| download | gentoo-2-03d6ca4809704f99b140ce878c09dccc213ad636.tar.gz gentoo-2-03d6ca4809704f99b140ce878c09dccc213ad636.tar.bz2 gentoo-2-03d6ca4809704f99b140ce878c09dccc213ad636.zip | |
Stable for x86, wrt bug #490100
(Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index e29407611261..3d9361ee2332 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -10,13 +10,23 @@ DIST ProofGeneral-4.1.tgz 1428499 SHA256 2a264d46b48185cf1a6ebcca958e59171ea670f DIST ProofGeneral-4.2.tgz 1613190 SHA256 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab WHIRLPOOL 9c4e54cf3b1528ee6cbdfac19b0c589f0c2640defbac15d5aaf0a1bfd64680bff45d2faa17f669210f47f30debb768d593590d350acac9c2669d24dc109bb4d8 EBUILD proofgeneral-3.7.1.ebuild 1344 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba SHA512 1eceba65beb041dc110127c724087d5471ed00359f8907b4ddb8f378072f09b8eb83c4d6d0f59ee0f7d37f669f1f3587d03b38c7b02de543ba55b5acb517e1fc WHIRLPOOL 965762275b09d744e78eca6ccc85611bb9f049af87155acac383c6276ed133f742036cffb6b14926171103d5d81e992483651263f5e5c816d904fdf82937fbf7 EBUILD proofgeneral-4.1.ebuild 1555 SHA256 879cb007ef8fd95b3187748dfd7d9e7e16fa9442d9dbf5d7ca0ce683cd3858cc SHA512 481e8bc8dbed97f7d6e04317c49cdecdf4993715d4a882f47db4c9ee3834ad3ee7f632eef2255b9658d08a3d10f4f0fcbf29984ad3096ea5e0614f7734a7c67e WHIRLPOOL 20758ae9516a25bfaed551486e6e3301e4bb2e8bd2fb369a7640c8e45cde78c0c160dbb4a0ba9714e03f1712d086f186b1ec3df54541d20ce014c84c82bec2c3 -EBUILD proofgeneral-4.2.ebuild 1535 SHA256 cbd01c8aff5c506fd19f587046793aafa6058ff850199a6089814ba480001b78 SHA512 19fd7089c68d792c318306f8ecfbacaf14973373db543ad7b57e8c1e1e54600a11299b01b7c16c6991cadec30865ce87863d07ebb326d4ff15f62630a6b1cfa9 WHIRLPOOL a832322e95fbbf018b96d622617da5375bc1988f1617f8da05cd190f8b05a9259fd3c7026d30b7cf5026c392fc27f3ac84a8beb6caabcbcdae10d5177de02ab8 -MISC ChangeLog 5868 SHA256 a08333d9b97849a73769eb71c6225c926531c5886566bfb882ecb71b131be09d SHA512 270cf1c6e9b0348ad2f43a3d80c13477bad13aa0828b8764541ccf4e026003eb20c89cc9ec2df1639b191b3c35f5c55b8c0a0679a80fc5c5cfdf8cc37659f662 WHIRLPOOL 2f4227bc9f8f3400e6b7d2dbf49d42a783b93663109080d75172b68bb20c5e0877bc08806f129fa301f1cc666b3b359345a551e988f65aedb1ee7c71295f83b0 +EBUILD proofgeneral-4.2.ebuild 1532 SHA256 72d162a37c0286a3e22787f840aeff674c6c70313cd8476bfa22c219dd2e88b8 SHA512 731df0bccbf49d38d9b524be5ce04a8c7e64637a92a8bc76ba885744ac0f93462aae13f798be3c2579dbb1421017131f4518ce201d8cf125a7ae654f121f2acf WHIRLPOOL 53364355273a2576eb658073bc234e6045f0ff13ea1e720e781ee66ce7e2ab2031181286ab8d5d7b763c63c60248287483505e14143cc6a80c4c5259c9aef9e1 +MISC ChangeLog 5975 SHA256 b61b777606fc151e4a141049ef6b588bbc0611c1242d0c4e0b3e2538b1008c20 SHA512 2dc5efcf052a6b9cd5561ba4753b7aac3a59cdfad4a7a85a39e863a9ced012d4ac501eeab0b2b1c71aae12454a169ca6a362cc2f55de2fce47d6d3f410a0adc7 WHIRLPOOL 8cc332edd67bde2c42498b3bd51f19dc2b417bcb9f225dd9e77a1688f2cdda165a39c961a424a7d744874f787cff2c79b9bc805f337377a860bcd1f9afe055ff MISC metadata.xml 158 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab SHA512 e55d75feae933ba948ae987305ea58e36f5880f18687e8acaf91237e33e251be3ecfd5be27048f4907ea6799e0bcf784b602096dd7e2bc9c450eb5e2bb6a73d2 WHIRLPOOL 1d1676172186235a3e99ca1d148298fb24f6a089f9b7908b3c28c246c8854969835fd3742b8b81e0a30b63d76ee0be0c42bfede2416a30dfc3c8b915a147340c -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) -iEYEAREIAAYFAlK3F2IACgkQCaWpQKGI+9RgqwCffT/A2v0siIUpfNcxYOl1SRP9 -SSYAnRTpcQmbiBSrN9DWWal8xdakxhCi -=yBf4 +iQIcBAEBCAAGBQJSuYIDAAoJELp701BxlEWfbCoQAL0wBRsgJSagCcE3YVAIfoNt +GVLcIe/hCfQoj1JHgYtZeHrlhbmlRe18WeyKcoBDNwfKrNMLprSHo8pvYHqmcCnn +gZ/5QfC7UfEM4ALvu0C/XZ3rI2Kw9QrCa47Nydd0oY9GraxIwobUz2M0mIrdiA6L +tJDWgeBRGxsPABu2VDG3Kdf/esKDbIeVau8PlmnvX2AwUE/FesvCJCAbdHLXqUgF +sMqCCCdrB1JQNJsnHAasOGywoJ2SPAxcwJlh2sXDuAX5gAZxgvE/IoqvBd6WiVyi +bvF9N1lS5T8s6DdeYmyoPvkJkeMCCLdWzKJr+QPEXReeSZ1MjO7t3muo3Ax5Bh/U +yetAbRoYvO+gxoUYcQvrw1jdSxDVJdK53hSlXwZaO+pX6K7XauJJr8k9jNPRNNyP +HcJaYfPn+s0siIzdnLaGgyYYlxA5HMQ2YJoDFIcspmN6X6MgnOUfQbwrqjnXkGuc +Z4wPjlpEMx+ufIGgSLcBC2wocNJn7UFP+EbgBSytaG0zJqTop7u/S0AzCpHCsjNP +YH+IxjsHoW13MkZcxT33shNpCRZ5n+Kw+iad4YxtWBATPJjF2kIPOZD5BGvgCLEc +mYGbmiqJsU7gBPLJbsXGVtoCHeXRK9qPCcEDAWApcwsIBsUyUUQa64BjEobcXAPl +KosaJTitpg8H+sqD3qeZ +=+8Tr -----END PGP SIGNATURE----- |