diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13 | |
parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) |
gentoo resync : 15.01.2020
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13 b/metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13 index 2d9a036b4836..eea6fe87cb0c 100644 --- a/metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13 +++ b/metadata/md5-cache/sci-mathematics/agda-stdlib-2.5.2.0.13 @@ -9,5 +9,5 @@ LICENSE=MIT RDEPEND=>=sci-mathematics/agda-2.5.2:=[profile?] ffi? ( sci-mathematics/agda-lib-ffi ) SLOT=0 SRC_URI=https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz -> agda-stdlib-2.5.2.0.13.tar.gz -_eclasses_=desktop b1d22ac8bdd4679ab79c71aca235009d eapi7-ver 756b3f27d8e46131d5cf3c51bd876446 elisp-common 23f47b2e1de7abf387105eddd1318738 epatch a1bf4756dba418a7238f3be0cb010c54 estack 686eaab303305a908fd57b2fd7617800 eutils fcb2aa98e1948b835b5ae66ca52868c5 ghc-package fac7ea2deca456f8e70b85a6ebef9e8a haskell-cabal 433b5153bec6b0ffe21c7be2210e8396 ltprune 2729691420b6deeda2a90b1f1183fb55 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf +_eclasses_=desktop b1d22ac8bdd4679ab79c71aca235009d eapi7-ver 756b3f27d8e46131d5cf3c51bd876446 elisp-common a1054cff648e1c6a806e17001d052176 epatch a1bf4756dba418a7238f3be0cb010c54 estack 686eaab303305a908fd57b2fd7617800 eutils fcb2aa98e1948b835b5ae66ca52868c5 ghc-package fac7ea2deca456f8e70b85a6ebef9e8a haskell-cabal 433b5153bec6b0ffe21c7be2210e8396 ltprune 2729691420b6deeda2a90b1f1183fb55 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf _md5_=d695cf8094145eb5e8efca6072389c57 |