diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2015-08-04 10:55:04 +0000 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2015-08-04 10:55:04 +0000 |
| commit | f563c10d70fd432e4583fe254106fe64b3223de4 (patch) | |
| tree | 2821de346eb61cff04a4f903c571c8eb88f4e96b /sci-mathematics | |
| parent | Updating remote-id in metadata.xml (diff) | |
| download | historical-f563c10d70fd432e4583fe254106fe64b3223de4.tar.gz historical-f563c10d70fd432e4583fe254106fe64b3223de4.tar.bz2 historical-f563c10d70fd432e4583fe254106fe64b3223de4.zip | |
Updating remote-id in metadata.xml
Package-Manager: portage-2.2.20/cvs/Linux x86_64
Manifest-Sign-Key: 0xE9402A79B03529A2!
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/Manifest | 24 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/metadata.xml | 5 |
2 files changed, 22 insertions, 7 deletions
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest index f2cd2e2003a9..4724b1f28859 100644 --- a/sci-mathematics/agda-lib-ffi/Manifest +++ b/sci-mathematics/agda-lib-ffi/Manifest @@ -1,16 +1,28 @@ -----BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 +Hash: SHA512 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 820 SHA256 a1856b3a4dac67c6d6ff50e3683b98ec0d7ca5951d59738dcae1887082ecad1e SHA512 6cca223a64c52c62fe358eb4fb2bbedaccca589e408372cbe797e3ad0079f268d3b27473f8e7e665e6fdc0e1334a04c13e673fd3fd0097b073d6b80b8f66a30c WHIRLPOOL eaad564045dc8a3c8a0fb6b4c85283aea4fcce948b4dc1eb12fa23106788da399a893394b8a63fe2e44201cd6e7616238fd991729d524e28f587224bff370455 -MISC metadata.xml 327 SHA256 30fc3348d37dbcc37cbf96531aedc1c71a7d222fe128ddc44ba4f25835300749 SHA512 631166c9ef30d2f1bcda18d68d0b58c9b610ae5f3c690a09e49f538639dd390376425b8027765400079b55a8424ec7462013e580113a213f1337403d3ea690cd WHIRLPOOL 22c143627f8bbe1a43b530b871f9db73e832ebe2fa9accafe24af1ffb9cf08f4d2bf1b2a329af6606f0a8ecb54a9f604cbb8bebfb0fe41ecc0c90d3f704f0b9c +MISC metadata.xml 404 SHA256 62176dd7566614f6f4ce76efda4345a96e920f44b238b8d8ea01b99f72eb14cf SHA512 899f78e55d7c5cbe467c794bfbdf163a6a94c6aad3449dd422084a9eb76ad83ab41845112b7398fd199c83a43617ee149af76a8b187c2c1225bbeae582b6f1a0 WHIRLPOOL 1ab636729bdb10cf4d6c78e17032d2a54ffa5728333c3f0180b6c7ffd3beae98ccf30346de04a57857ac2dba8a3b7dd20f884bc65aa4d89ee99cc03c41f60599 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2 +Version: GnuPG v2.1 -iF4EAREIAAYFAlW+IaYACgkQoBEVQmGOlx+W6QEAlaqNqXvxvs6DfDbe5P2+CRXU -g1v7niZJovEM9AgWfFIBANps4fio5kziKppavwONz8nRbHL2+1h27avseOvKeQWK -=RSE9 +iQJ8BAEBCgBmBQJVwJoIXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w +ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ0QUU0N0I4NzFERUI0MTJFN0EyODE0NUFF +OTQwMkE3OUIwMzUyOUEyAAoJEOlAKnmwNSmiIyQP+wWZKEHadKmrP5KkQd99mEyO +xJ5oaoJkdOJ94D/FTYXg32r5lAUSiInUs6KKzakZ4LllbjSWC/BIrRfb0ESgZTWd +amaaGCOVxZxc+s4ioWXSMHy13O6gv9jAkU6tx1lbWmz254xvIsC36XAH7F/K3vLd +bEoUmpEb89bs87VkhP/xxClVAqk+w3sREqszubdXsXCchiAd2Ee7Q4q8bhhHC3wh +V0zG8/bN2Pd3lgZIDdDL9Lw8s/fqC4x4CnPtsA1xsuUGMr7KkDl9KwljqBa3ddnm +3634K1W/fbp/TN2UZ6C7ftHkLUXXY8J3PNGsBcFrFbUi9p3HAM3Ff+MDKCCuX8gv +ZgbC2G1FYTYwmJ9EAC+P0W3MAI8H9cyZ+SEz2uNXPud5gc6KhGP5NCXMN9JnE9Vg +W/7WjE7ELqqZgCxlEHJJDGtXYUjVRBBo8p0LEFHgmXph5fS+pp4EIr2R9D+xBoQ6 +cK3ng7JqzMwCKktj9lW5DsjbZhon5R5ZDUyz+/0BaIVC+sn6bl69wYrMFOOPBD6R +CLCZ0+G1u7+o+HoklLZMFk0Ia1CxovugwomG0mTKdBViFmfOFHCX0Ggc6mqru8E+ +hoAZU1KivNF+HCucCWeeptuHhh32QnSkWrH1qmD+zQy1/LANPfqBXC3meW0STVin +asjcXAiYMm/NF6c1bx8Z +=TBWM -----END PGP SIGNATURE----- diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml b/sci-mathematics/agda-lib-ffi/metadata.xml index 2dff9476b196..1439b435aad6 100644 --- a/sci-mathematics/agda-lib-ffi/metadata.xml +++ b/sci-mathematics/agda-lib-ffi/metadata.xml @@ -6,6 +6,9 @@ <email>haskell@gentoo.org</email> </maintainer> <longdescription> - Auxiliary Haskell code used by Agda's standard library. + Auxiliary Haskell code used by Agda's standard library. </longdescription> + <upstream> + <remote-id type="github">agda/agda-stdlib</remote-id> + </upstream> </pkgmetadata> |