diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-03-26 11:49:49 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-03-26 11:49:49 +0000 |
| commit | 95f5ae41c2f706a2454b38849b1665a946ff1b30 (patch) | |
| tree | 964ca7a9b6d689b9913aae9cab3c78c4220269d9 /metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-95f5ae41c2f706a2454b38849b1665a946ff1b30.tar.gz gentoo-95f5ae41c2f706a2454b38849b1665a946ff1b30.tar.bz2 gentoo-95f5ae41c2f706a2454b38849b1665a946ff1b30.zip | |
2023-03-26 11:49:47 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920')
| -rw-r--r-- | metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920 b/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920 index ea8771f84e66..2a340dcbb0e3 100644 --- a/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920 +++ b/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220920 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp chez? ( dev-scheme/chez:=[threads] ) racket? ( dev-scheme/r REQUIRED_USE=^^ ( chez racket ) SLOT=0 SRC_URI=https://github.com/idris-lang/Idris2/archive/1142f73e05fef6a57141b8328944b13872d4135e.tar.gz -> idris2-0.5.1_p20220920.tar.gz -_eclasses_=toolchain-funcs 6001248ef162a5fa2a21ce132a212f6b multilib 5ca4e49abed8e3a2f7b56920eadee157 +_eclasses_=toolchain-funcs 14a8ae365191b518fad51caad7a08f3e multilib d1408425c7c4a7669b9b17735404b693 _md5_=b575986734b0659ea15345541d38f87a |