diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-09-16 09:32:48 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-09-16 09:32:48 +0100 |
| commit | 9ee6d97c2883d42f204a533a8bc1f4562df778fb (patch) | |
| tree | b690ddc0ca30f1472887edbb0b8313629bfcbbb2 /sci-mathematics/agda-lib-ffi | |
| parent | b17a3ef12038de50228bade1f05502c74e135321 (diff) | |
gentoo resync : 16.09.2020
Diffstat (limited to 'sci-mathematics/agda-lib-ffi')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/metadata.xml | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest index 177f83a141d9..38b1c5199d4d 100644 --- a/sci-mathematics/agda-lib-ffi/Manifest +++ b/sci-mathematics/agda-lib-ffi/Manifest @@ -2,4 +2,4 @@ DIST agda-stdlib-2.4.2.3.tar.gz 252558 BLAKE2B 2373b9d395a64fe7f23bbb583d8cfc5b2 DIST lib-0.7.tar.gz 226400 BLAKE2B 4203486fa35d6dbfdcdfa227da43c771e8e2c78d906c06dae8cc3eb473c6ac0029554b98a0a665de80f1d1b5806a82ef68491050b0f90e80065a08ab91dba7c1 SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 EBUILD agda-lib-ffi-0.0.2-r2.ebuild 731 BLAKE2B 84aacabeb83f81b599b457e62d3541c17d2f5e7d5880264a27a560c79a57490666771c602b127e3812fe671dccce21af7f0ea3531b1ad50ac5c90d27821481c1 SHA512 a7870a30ca78b00f3fb4645d394fbbdf881f4e87b189cd590f4587212f1f46dbcb60a73511278305f54768eaf2a4b9d8a52f94d4f2701dc9cfa391f4f1dc724a EBUILD agda-lib-ffi-0.0.2.ebuild 655 BLAKE2B cbdf24bdcd0027509b5cee43224f9b1c5e65c4c67263334a683ce848118c05967ebb8751da3742cd90678fe34b8fb06eec77fb33fd9e07f1a8bf02cce91d824e SHA512 ebeed8e5ae98c0a1b2f18bed48cb63cdd8c56d402ee7b61ea513ebd52c1cee744974133dfe3c00a255623c878726f89c871b9a7a94edf2d8406d31e39777a739 -MISC metadata.xml 427 BLAKE2B a47c114964a36abbee07f66f13f5af553cbb11bd3e703397ec2650cb13bd23b9971ea0b5dc0692e606efe719b4abfcdc6c3882a091f146c27b173300d753b8ad SHA512 5dcdfd777392fbc8d215e263cf2ef8be706ebb4790bc79f551d19f25bd061a144751b5c4ee39b75cd974fd996239c70a9ca14bcacd512503d0189dec98faf30f +MISC metadata.xml 330 BLAKE2B 6b8e9f614657955a82b93edde0ac6370bce3599a9abc1535da4b599f9fbaa666733aaa937d978026886708a8962bc30ff00b424d1c10295e250954ea83381a56 SHA512 1908170de455fb8967c973cd7aadfbe638813d41d0e52e6c4d762f44f1c75eaf8762c500a88293506982f881edc870e0e449270f45db499d230c356bc01e2d7e diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml b/sci-mathematics/agda-lib-ffi/metadata.xml index adc5490ee507..bf5543388935 100644 --- a/sci-mathematics/agda-lib-ffi/metadata.xml +++ b/sci-mathematics/agda-lib-ffi/metadata.xml @@ -5,9 +5,6 @@ <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> - <longdescription> - Auxiliary Haskell code used by Agda's standard library. - </longdescription> <upstream> <remote-id type="github">agda/agda-stdlib</remote-id> </upstream> |