diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2015-06-15 19:01:11 +0000 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2015-06-15 19:01:11 +0000 |
| commit | 4370e429cf0b12e39a32653d3e2583367168d36a (patch) | |
| tree | 588d51d32cac5c60e04805d599be1b0e4a1f90c8 | |
| parent | Updating remote-id in metadata.xml (diff) | |
| download | gentoo-2-4370e429cf0b12e39a32653d3e2583367168d36a.tar.gz gentoo-2-4370e429cf0b12e39a32653d3e2583367168d36a.tar.bz2 gentoo-2-4370e429cf0b12e39a32653d3e2583367168d36a.zip | |
Updating remote-id in metadata.xml
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key E9402A79B03529A2!)
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 24 | ||||
| -rw-r--r-- | sci-mathematics/agda-stdlib/metadata.xml | 11 |
2 files changed, 30 insertions, 5 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index f2cbe3096c5c..c9d39efe9f1d 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA512 + AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060 DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1 @@ -7,4 +10,23 @@ EBUILD agda-stdlib-0.7.ebuild 1778 SHA256 a1d1505200364dae71365177ec1eb2deaa0671 EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c EBUILD agda-stdlib-0.9.ebuild 2049 SHA256 0273ea9381b06071631b2a230dc031a6662b75f96f7857e87fb335b0ff351a58 SHA512 a99df09c630b5f10ff36f6d9020c8498cbcacb08c1c741bd4bec8ebb7b33d28001f1c25c3648529b4d94cff455e041e4f181ca053100cd3d88af1d833d2ef0b8 WHIRLPOOL 670a7ffa181fed3d15279538e5e353f4637f178e0d7f8425df2f0ff490f1ced373a5ad838e4fea55ef2ba1a57a4970cd9b5e4d028cce210d76545c2feb061907 MISC ChangeLog 2010 SHA256 97323ee0a444b2ad2a20ec68442adbb02f84d28cb81bdb5f26a831f72ff238c9 SHA512 7a3aeb72451f49a806a654ce502b91a339df2257613dc9033c2b1a7c94f3864f2f4c18d6f55b2c7e8da29afcb9cb50cc39c1949b2bd05ea89580cb4429cdcb83 WHIRLPOOL db7ce3989fc7579be183ae60f406299ad5bf7f7d6d31425ee975a370f894090d917b3f8eb44af7c8f8b865e2d6b1cfb4ca02e993cb88070944676b12f2f8b517 -MISC metadata.xml 366 SHA256 c41fd8efa2f976bdda4d3a30d8ef583c3978bd88157791e2873646aa21d222a8 SHA512 84a809638cac53987f8206e8dca03b50eb6b50b24fad12d986bf270adcaa2b71f6f2e264898d1eaab9b9945397dc65246866249b14182c095146d3b6cf5a25ff WHIRLPOOL cac6530be82252ec18ad15ecbc9a38af081f6137f8fd7018813d8903c7a339704243df53fbd245bd7c92328d47ece3b29785153115ecd38a0bf2be05f8c0b8e5 +MISC metadata.xml 460 SHA256 a4ae622900664e568812464e2d41c3af26b6dd27a5cedfb6974f4dbc0e7ee451 SHA512 60267138c3ded320f4b93574813ce8b2130d73b0d95e1da293a705fbe5062faeaa13eab32c38f2c754646ce5cfbb78680df18d0c3459a11f27379f08dfe78dea WHIRLPOOL 7ea8d71701acac657213d547ae2a479bb65d0262ec620d750fcf19d3372aa971a9e0beffba6bd05a9a9298e5355e6d78b2592dcd65da0a14f9655b8e580f480d +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0 + +iQJ8BAEBCgBmBQJVfyD3XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w +ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ0QUU0N0I4NzFERUI0MTJFN0EyODE0NUFF +OTQwMkE3OUIwMzUyOUEyAAoJEOlAKnmwNSmi+RUP/1wID0Y+FiAZjxaQh4myP0U5 +Fm0tepPYWP7ndlBNmdnY557oT/B6jsuil78Q3Dz9JR1N+eV8PsFdSsfaJLYiQtQH +RbEavDiY3f1/psTQOiBv12QjqKc0V431wklORX/fRI3dYsWZAVbAPhWP9r3dYMEv +6RZOGJ66f8v5R53pgc9LDLj0kmxMwQd+yCPtHz+HF/DyTwJbHC6RpnPWN/TI31/p +RgyZBswYO2K2+DbQuZ616uQ+Nn0WZsgc2zBJLpD6k3eiuSG4A4Il4cggnfLCNa/J +K6BraGBdEd+es0qqegG3OueEmGiY0AZ9TEDb4Q6BSm0YWga6uqrR7iJYFPSUq9Ds +scsTp2kHi4fHUVDK2CrEcFhrMi9srXSb/7HYMY6aedVhGpCjiX+YzUgYoblslTHl +8uOYlj9EHVbPmg2iIXmL2tW6h/jjEM9ehH6FIXe/JnbvAK5IndQVH1RDbe6SjkCJ +sjAq9reGLt1UxmWZQiJhlpQZPJxXTicN4V083d+kMOddG368Qho7X5GmuQY+OqPD +OPrWI0VOmatD18HQ4CIWlnScBAr0NJGC6hmH1zKVe0ygrVXSuxoTqU3m2c22IC6v +wQqF6kXsgh9bKwcP/lFMQ8JISGJR1thSd+tTgVjBqQma9Qc3frBW44QU2c6swnrp +29ijrhLkTM+77bT0hPvJ +=DcK0 +-----END PGP SIGNATURE----- diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml index 1ba1a477a424..91a8ae913e04 100644 --- a/sci-mathematics/agda-stdlib/metadata.xml +++ b/sci-mathematics/agda-stdlib/metadata.xml @@ -3,10 +3,13 @@ <pkgmetadata> <herd>sci-mathematics</herd> <herd>haskell</herd> -<longdescription lang="en"> + <longdescription lang="en"> Agda standard library. </longdescription> -<use> - <flag name='ffi'>Install agda-lib-ffi for compilation using the MAlonzo backend</flag> -</use> + <use> + <flag name="ffi">Install agda-lib-ffi for compilation using the MAlonzo backend</flag> + </use> + <upstream> + <remote-id type="github">agda/agda-stdlib</remote-id> + </upstream> </pkgmetadata> |