diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2015-06-01 21:12:27 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2015-06-01 21:12:27 +0000 |
| commit | cc94e77e3da83f3e28401b7374bc3e8304349678 (patch) | |
| tree | a5f41cbb5276dea7b41e91f5cfdaba1b39f87542 /sci-mathematics/agda-lib-ffi | |
| parent | Port to upcoming ghc-7.10. (diff) | |
| download | gentoo-2-cc94e77e3da83f3e28401b7374bc3e8304349678.tar.gz gentoo-2-cc94e77e3da83f3e28401b7374bc3e8304349678.tar.bz2 gentoo-2-cc94e77e3da83f3e28401b7374bc3e8304349678.zip | |
Port to upcoming ghc-7.10.
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
Diffstat (limited to 'sci-mathematics/agda-lib-ffi')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest index 238aef491046..a003dbce57a8 100644 --- a/sci-mathematics/agda-lib-ffi/Manifest +++ b/sci-mathematics/agda-lib-ffi/Manifest @@ -2,13 +2,13 @@ Hash: SHA256 DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536 -EBUILD agda-lib-ffi-0.0.2.ebuild 794 SHA256 90f508aea938ed7665e6b5cb715bdc97abab591e68714c8457799cd5abd2c5f4 SHA512 96648953941321fb50f15009f80319d7caae2f682d98882e20dc081db0b0c179d64afabd329c3c2ad5d5641341d1f0ca2939418bc2a96c90b48228a2689e3487 WHIRLPOOL 267d06a13c6500e996c103c916a9c95da497e94923ee8b91ed7eadc53c3927c5137be802d8feda54893a5a68f3c122e4359688f006c29944b595f04814a042a9 -MISC ChangeLog 536 SHA256 cd5b019d4cceb49a1cded58eb37dec372eff4f2a866a9bff0edba1b9fa0b55f1 SHA512 d52f669a5758751be3b30d6dd6c1fad65a44f55551a9fc969d097f93647501a145184f3062b83bf56976e629fbc9d1525b52c4e213a6a116a7bea15ce4cf2c07 WHIRLPOOL 0a4a0f85f652db4775a54a4c9acca91be5b29e7a27ca304167b0838f7e4b5bb2e676edfd94a691a73063fe5b5eae164ca56302353cd20a404b33dd08c289e6da +EBUILD agda-lib-ffi-0.0.2.ebuild 785 SHA256 2775a57ed12de642934f20c29ed2e76641b4f87f48eba27ffd50cf50558296e0 SHA512 a7984e96ce0926a59f68a3e679bc117760188d0e65496efd84ae3f663227dde05217f7eab63a11a7a05b35ab93076d3e052ee2579ec4421298fe060ea335b6f2 WHIRLPOOL 7766dd9178767850191f386995da0b0164d3f2a551ac17270c88f5fff8def1a0a30f4c87df1526f11bdccf776ed10155c8844f2d9a2573e05646db8600380faa +MISC ChangeLog 647 SHA256 a2f79a98c50c1eceacf15048a5d095a3982c0e296805d21fdd1f3673e5da0705 SHA512 abe3a523f6de91ea95d78bbeaed6129cc62bf06ff8d3c362c89f1c2f168c3755bd7d863501331e9b7d28a7aa41e89381215d01f3ae11a1276ac6c3b60fa2c86f WHIRLPOOL c65b3a1c27f4caa465e4be4b77a4ecbdb369fc824d4ee789452109436cc309965794f5f9e5522a28b858d13a6de4896346f6a1d63d59ed6647d06cb04793d960 MISC metadata.xml 327 SHA256 30fc3348d37dbcc37cbf96531aedc1c71a7d222fe128ddc44ba4f25835300749 SHA512 631166c9ef30d2f1bcda18d68d0b58c9b610ae5f3c690a09e49f538639dd390376425b8027765400079b55a8424ec7462013e580113a213f1337403d3ea690cd WHIRLPOOL 22c143627f8bbe1a43b530b871f9db73e832ebe2fa9accafe24af1ffb9cf08f4d2bf1b2a329af6606f0a8ecb54a9f604cbb8bebfb0fe41ecc0c90d3f704f0b9c -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iEYEAREIAAYFAlPn1LwACgkQcaHudmEf86oV/ACfWeQuxKHCbPLsvTvvBNE8cn/g -pkYAnA98n4vkqSN4AqaDkIRoqpyw3//b -=td+j +iEYEAREIAAYFAlVsyrsACgkQcaHudmEf86qVcgCcDp003x/bvMhKfwPbSBNMY1MQ +HFUAnjw2Xac8XqxuNbqEbhbiGZ2mo52w +=gBwO -----END PGP SIGNATURE----- |