diff options
| author |   Mark Wright <gienah@gentoo.org> | 2015-08-02 13:57:01 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2015-08-02 13:57:01 +0000 |
| commit | f8675ce5c414c1ac3300dd1fcd3ae46d58cd63c7 (patch) | |
| tree | 35bdbd3a5fe4a9d4e4e89c78cba445d48b52f92d /sci-mathematics | |
| parent | Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 (diff) | |
| download | gentoo-2-f8675ce5c414c1ac3300dd1fcd3ae46d58cd63c7.tar.gz gentoo-2-f8675ce5c414c1ac3300dd1fcd3ae46d58cd63c7.tar.bz2 gentoo-2-f8675ce5c414c1ac3300dd1fcd3ae46d58cd63c7.zip | |
Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/Manifest | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest index a003dbce57a8..f2cd2e2003a9 100644 --- a/sci-mathematics/agda-lib-ffi/Manifest +++ b/sci-mathematics/agda-lib-ffi/Manifest @@ -1,14 +1,16 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 +DIST agda-stdlib-2.4.2.3.tar.gz 252558 SHA256 bb444fb35096be277c07aa27652c24509449fee9188325bb13eaac68b91eca7d SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 WHIRLPOOL 829e5613f2e03cda80608ef0899db413c98a505c9ba595d3aacd12171fc2e30e18e72365770a85655c7670fc5d45103c3b186d2bf8d9697aebae15bc9f40feaf DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536 +EBUILD agda-lib-ffi-0.0.2-r2.ebuild 783 SHA256 1c4ad73d4cd81bac44ed913be481f4516da3e6bb3260fce21689bab4257c68a2 SHA512 7cb2b469a8319e5acc94f704a095e8e129142bf32e7e2fa7901ff6dda06facc3c3842ad26a4da5421f29057b77b0c184be8a1b5488cc99e407578f0bdc65856e WHIRLPOOL def4de9407dae31d93a5d1f84df8796ed9250c10464b285283c6a53c53c27f0080c2127c839ef22eb97c88e6e76d42e9d35fad0f3c6d4d9f707a76ca44db2562 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 ChangeLog 820 SHA256 a1856b3a4dac67c6d6ff50e3683b98ec0d7ca5951d59738dcae1887082ecad1e SHA512 6cca223a64c52c62fe358eb4fb2bbedaccca589e408372cbe797e3ad0079f268d3b27473f8e7e665e6fdc0e1334a04c13e673fd3fd0097b073d6b80b8f66a30c WHIRLPOOL eaad564045dc8a3c8a0fb6b4c85283aea4fcce948b4dc1eb12fa23106788da399a893394b8a63fe2e44201cd6e7616238fd991729d524e28f587224bff370455 MISC metadata.xml 327 SHA256 30fc3348d37dbcc37cbf96531aedc1c71a7d222fe128ddc44ba4f25835300749 SHA512 631166c9ef30d2f1bcda18d68d0b58c9b610ae5f3c690a09e49f538639dd390376425b8027765400079b55a8424ec7462013e580113a213f1337403d3ea690cd WHIRLPOOL 22c143627f8bbe1a43b530b871f9db73e832ebe2fa9accafe24af1ffb9cf08f4d2bf1b2a329af6606f0a8ecb54a9f604cbb8bebfb0fe41ecc0c90d3f704f0b9c -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iEYEAREIAAYFAlVsyrsACgkQcaHudmEf86qVcgCcDp003x/bvMhKfwPbSBNMY1MQ -HFUAnjw2Xac8XqxuNbqEbhbiGZ2mo52w -=gBwO +iF4EAREIAAYFAlW+IaYACgkQoBEVQmGOlx+W6QEAlaqNqXvxvs6DfDbe5P2+CRXU +g1v7niZJovEM9AgWfFIBANps4fio5kziKppavwONz8nRbHL2+1h27avseOvKeQWK +=RSE9 -----END PGP SIGNATURE----- |