summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-03-27 06:06:27 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-03-27 06:06:27 +0000
commit8d5dbd847cbc704a6a06405856e94b461011afe3 (patch)
tree4d26462d027b14926335894749d2e01d982234d0 /metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4
parent5bb9ff1ee56d2b5e75e01a7f066d8b0cec84ec02 (diff)
gentoo resync : 27.03.2021
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4')
-rw-r--r--metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.42
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4 b/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4
index 1a4f6002acb9..7c189f0c86b0 100644
--- a/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4
+++ b/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4
@@ -9,5 +9,5 @@ LICENSE=MIT
RDEPEND=>=sci-mathematics/agda-2.6.1.2:=[profile?]
SLOT=0
SRC_URI=https://github.com/agda/agda-stdlib/archive/v1.4.tar.gz -> agda-stdlib-2.6.1.2.1.4.tar.gz
-_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common d4b53ec63c580b993ed19445f411e1d2 eutils 2d5b3f4b315094768576b6799e4f926e ghc-package e3a4a688accbd5f1226e46b379cc1c3e haskell-cabal 9d756e2e026abb59bf29f5b777bb34b2 l10n 8cdd85e169b835d518bc2fd59f780d8e multilib d410501a125f99ffb560b0c523cd3d1e multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974
+_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 36f97076abd90f943a34f8bcd58b5bcc eutils 2d5b3f4b315094768576b6799e4f926e ghc-package e3a4a688accbd5f1226e46b379cc1c3e haskell-cabal 9d756e2e026abb59bf29f5b777bb34b2 l10n 8cdd85e169b835d518bc2fd59f780d8e multilib d410501a125f99ffb560b0c523cd3d1e multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974
_md5_=592624cf25722d12d36034a11cf539f8