diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2012-12-14 09:50:18 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2012-12-14 09:50:18 +0000 |
| commit | 4230ced7152d90a28f8ca7a20d96cff0353a0e4b (patch) | |
| tree | b6ec660c0e617f712f3f9cea0018e8972e19c946 /sci-mathematics/cvc3 | |
| parent | Update LICENSE from as-is to HPND, bug 418455. (diff) | |
| download | gentoo-2-4230ced7152d90a28f8ca7a20d96cff0353a0e4b.tar.gz gentoo-2-4230ced7152d90a28f8ca7a20d96cff0353a0e4b.tar.bz2 gentoo-2-4230ced7152d90a28f8ca7a20d96cff0353a0e4b.zip | |
Update LICENSE from as-is to HPND, bug 418455.
(Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
Diffstat (limited to 'sci-mathematics/cvc3')
| -rw-r--r-- | sci-mathematics/cvc3/Manifest | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/sci-mathematics/cvc3/Manifest b/sci-mathematics/cvc3/Manifest index 1ca394c814cb..e140f70cb6f0 100644 --- a/sci-mathematics/cvc3/Manifest +++ b/sci-mathematics/cvc3/Manifest @@ -3,13 +3,23 @@ Hash: SHA256 AUX 50cvc3-gentoo.el 164 SHA256 1fbca0f0a0556eb5fc1d8ba4361f2143bc7fe81b08c21c1da752121ea3d25b90 SHA512 bba873dfaeadc821ffc41168df51a0e0d5c0d038f60a36ba4f74c83d0ef8fb4ff3089cb587b680d5058c7fcddad2585c1e913cb25d8e2256cccda5872f017d07 WHIRLPOOL ba6691a596a47670d0b143e957f10112de18493df013c9ffa8f232f0e7450adcea184a60246a44286976ddc683954354ecd985481a0407df83359d8b5bb07ccb DIST cvc3-2.4.1.tar.gz 1196616 SHA256 d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7 SHA512 48e5cd82b3eb7506d762c2abc8db0c8fbc548575a1362dda53888075ac105a5bc0f0d58dfe01b60f207bc00ff8dfc39a5b3d9317784fe551658c884bb02e1ff2 WHIRLPOOL 9d39dacff010f093685191737d41760a84ac7d12246ddaafbb9f48c78c7bff5697c5e85c62ef44b7dc76f86a55c118c041323c3a1b1953f5c725447795375d93 -EBUILD cvc3-2.4.1.ebuild 4362 SHA256 1055671c774e2f8ba48101aa0f7455799473416bc787de16d31662ced4de541c SHA512 6dcf5d028a0927a529848055ec2ac0219cbbabb32ba0e32342fe79fc8c5124fe110081a723a4d3d69f479e1443d396d70a543c88b9759aab03ffc39d2402721b WHIRLPOOL e1de4b2fe58211395bd4916a61a2b44e5a868b40c4d1d51c7255652b3ec5ba27e22f9adee4d7c1c6939fe05ef3757682fed2e92a74069b85e7ac71ba1f502978 -MISC ChangeLog 1242 SHA256 9cfe82de7fc9b688ea247c6866145d45f6a40819d59a856cd3d8863aae36fcd1 SHA512 6c48ca99d5a869b7f8d862d047e3baf74719b3ad59117d015896f0b178c6f1d06c3215fd45d8d18a7c2f659a4848e3761111d1e2cc9400768d101cc774df9694 WHIRLPOOL 95b677607531775f05b6ca8e2bda74ed3f9f10f9571bae6de2e5708ffccd2a6a8aad9e324eecbc8109488a728e648e90b27cfeef79d8575b268f98359aec086f +EBUILD cvc3-2.4.1.ebuild 4358 SHA256 e36180bc52213566538709773773fed0bff019a0b663d056607a552a5f80e70f SHA512 73fdba19439b5a2919d77c8c1dd6c2e7d018beca463806baf451a875908d98835a89a367b6a1c924f1106b59b036c361503f44e09c8eeb49b4fec9d7abb65c56 WHIRLPOOL f2b4c661e3ff69e1bc63e7332ad0216a0a7f2a547a5c5a782cfe0a150d7e29407046144cd95e52c9426f22ad73229a5d66b89e224dd584cd4eb14e146f2bbf80 +MISC ChangeLog 1355 SHA256 34bcdd9cfee5a41268143d79b659df76613de79bf7aab77403f993722bda25df SHA512 5fb1b96808f41a0b2d6982fda45656b30f78a612b232fb3db45252620008aeae43dcf39a5454ab74a52eca3bf934097bf5777fc647b87ae1cd70bb7a193b6bf3 WHIRLPOOL c9b9f9f0121a58f8967a5f5b858eb9f5c21f659142e1fc4b68c8f92b9affc296ad31bec18da7b08fcf3659608733a9dce71322d35320be97e6edd9978c7f5e51 MISC metadata.xml 1667 SHA256 1c3c45888ea6620c45bcb6a643c1699da002f7af1f4955cd728b497b09ac9902 SHA512 2b0f33935e7c6d896e0063f905a6c79e7e06e5e5966c1bdabea45256b18cdc1c54122d1c90d60c3ee896abf77b869d67de74de7d7f1613642a3a6674935224b0 WHIRLPOOL afdbf5ee60eede790fbb1c36b6d8307d2ff8fe0b8d0b737f73fd2541e981740d1799b996aa74deffe848bfc90a66ee21036d2778900fa184178a667ad1dca050 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlC/H5gACgkQoBEVQmGOlx9a4QEAhuOOkYJu/3CrQHB/FY7a4a8p -l5+zcjP4onWPsWFTdUUBAN7tgPs0tJHbPfHhXABF/kMzwrCPJ/7WlJWcEBsbgPZw -=Fb6t +iQIcBAEBCAAGBQJQyvbGAAoJEDxpGckxwJCBYLoP/jFt9x5L3Pj4K5thGXv5U5F9 +FfE5hxJQZW0rGpscXb4gpV01LTLxfuqRJIEzd/GWTv1nLFSrY2uvyUeua5IsQMJf +7/6duxlgjLnT2bIMGuaitZuP9kvgX/0HW99Zh1faDv4geE7hU3TF/grZgPk3mkT5 +yq6VDR+sSRq6CDmfAtXmx8iWIO1noyQhtt+nF5ObbwWV+pd+oxAzafY0qxBq9qnY +ThU4pPZ3d3AKMan3ecOqHoYWS96rEBYra7av35rH9hmOSzsPLLRWgblUzeOcmFvV +B8K+PKwL2JK8iKVVZfOW1iaIkVTMykVQCiFJKseD2nAxy6gAEkjqUOBQU6v/RIle +WoBy7am2lrmAZ+2CL2PQ/UyofU4LOjw4LR3ufaPWDUxz9Z5HDD7+AUFwGP9rOHyv +eqzJZ8VfRUNLDj3Jw4JuZEMtJkhH5YTEKP6mEIc2l1938zdK5fqoIdg5SCfVVkS4 +lRyZpBoV/hAFDolIp3jpHKoL+lqG5pyhQF1PsXcpv808m/llxx46x++YXO0Cl1iK +JCIXdOZoxYU/td5oU7QbtB9x53D94E3XI5H4IGtOwkI9Xilsmcip/55ZfLCUUx1H +hTRs9rZTKeacAB4MADSchI2ZF69+7Hwifn+jEcRpDeaiy0SCdbQGtULsvFVND4XV +eXC1EBP/p5yw9Fc71GfB +=HDl7 -----END PGP SIGNATURE----- |