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-stdlib | |
| parent | b17a3ef12038de50228bade1f05502c74e135321 (diff) | |
gentoo resync : 16.09.2020
Diffstat (limited to 'sci-mathematics/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda-stdlib/metadata.xml | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index fba24e394bbb..854bd5c659da 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -4,4 +4,4 @@ DIST agda-stdlib-2.4.2.5.tar.gz 253379 BLAKE2B c635040892bf940057bacf35f85fa6b7e DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 BLAKE2B f35b419aac1b80af86217a86fb8e21a2f3427ef9629c8f2e284036859cd89da16ce1b64ceb87f8a3030b5bdb2a68b4f59f74a717fc1e13378ecb20cc6b28f59c SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece EBUILD agda-stdlib-2.4.2.5.ebuild 1914 BLAKE2B f76f7e595d75dcf99b1e6968fd2b1c458e951b1e2807f7110261830cad2b1b436964c826764ec59e5093712dd6ca1b999746b1321a00d902f9e9891bd9ef01cd SHA512 40c9829fe63f6041253dc022c072fc1eca9e8fbdb1945c6d2f89e278cc051df05534397919691b52638a46e656bd6455db185f0dccd1899d581c85be0c6708d2 EBUILD agda-stdlib-2.5.2.0.13.ebuild 2175 BLAKE2B debbd1f201004b20b3e41ad446eac17e2e5ae53175d2c5c56e1a35e94239835d337f5f87bc9b2f03b39a8b7bc1f52476cf02147f5c47fab5ce9e18aac4086e25 SHA512 18c5b73a3dc72a8ee6839381428f27617d299f7c0f61af6c10ce32279e9d50b43b6a36ae02ed675ee1a196914d7f1a2331318976e038c6fc827ec66f95cc9a23 -MISC metadata.xml 658 BLAKE2B 5c799efce1321e2223711ae7626794d6f558fbf40b86b29c3d7bec31c746558e4cbcf1b0040feea20c648a02da876485b7d899afabd416c2dc2a0d302193aea6 SHA512 d1afae7ae946e667e796060d28ef006a47823de3b30c5e493dcba4a606a585b52308e4740b780f88fb7a9b69d1e534bc35514d31b030eed74b6439507e1239c3 +MISC metadata.xml 584 BLAKE2B 9d0eb0995feecbe10282cabba0b56dfe8278149f16840a477b55e6cf63675c79a642922eca2980f193447b1cdfdb59c4f1524a6cd9ec264175e2a753de6b918f SHA512 5d4446db6dac997893534b330f16a5631ff7472fa9178ced3c7300848a0c1733718985f3f6fa2f39adb905e973f8926371043cc08dac99e795e62850e1f2f2dd diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml index 5cb285fc8d71..06549522e123 100644 --- a/sci-mathematics/agda-stdlib/metadata.xml +++ b/sci-mathematics/agda-stdlib/metadata.xml @@ -9,9 +9,6 @@ <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> - <longdescription lang="en"> - Agda standard library. -</longdescription> <use> <flag name="ffi">Install agda-lib-ffi for compilation using the MAlonzo backend</flag> </use> |