diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-11-01 09:07:00 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-01 09:07:00 +0000 |
commit | 7a795be3ed6b29502cf5dccb5ea8294fc1ec2860 (patch) | |
tree | c5a028ba6f5ad04992cbc8ff1e20b5c9790b073c /metadata/md5-cache/dev-lang | |
parent | b9fc63c20df1fdeead24c989c4aca4090830f9d4 (diff) |
gentoo auto-resync : 01:11:2022 - 09:06:59
Diffstat (limited to 'metadata/md5-cache/dev-lang')
-rw-r--r-- | metadata/md5-cache/dev-lang/Manifest.gz | bin | 37546 -> 37539 bytes | |||
-rw-r--r-- | metadata/md5-cache/dev-lang/dafny-bin-3.9.1 (renamed from metadata/md5-cache/dev-lang/dafny-bin-3.8.0) | 4 | ||||
-rw-r--r-- | metadata/md5-cache/dev-lang/idris2-0.6.0 (renamed from metadata/md5-cache/dev-lang/idris2-0.5.1_p20220131-r1) | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz Binary files differindex 9b086d176570..cb2a4c22a48b 100644 --- a/metadata/md5-cache/dev-lang/Manifest.gz +++ b/metadata/md5-cache/dev-lang/Manifest.gz diff --git a/metadata/md5-cache/dev-lang/dafny-bin-3.8.0 b/metadata/md5-cache/dev-lang/dafny-bin-3.9.1 index c1038eb0fb7c..33781fcc1004 100644 --- a/metadata/md5-cache/dev-lang/dafny-bin-3.8.0 +++ b/metadata/md5-cache/dev-lang/dafny-bin-3.9.1 @@ -8,5 +8,5 @@ LICENSE=MIT RDEPEND=dev-libs/userspace-rcu dev-util/lttng-ust sci-mathematics/z3 REQUIRED_USE=elibc_glibc SLOT=0 -SRC_URI=https://github.com/dafny-lang/dafny/releases/download/v3.8.0/dafny-3.8.0-x64-ubuntu-16.04.zip -_md5_=2a7dbc3f12d8e73e243e569ee5c67050 +SRC_URI=https://github.com/dafny-lang/dafny/releases/download/v3.9.1/dafny-3.9.1-x64-ubuntu-16.04.zip +_md5_=d62878b80bafd83a9e5cb3933bacc01d diff --git a/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220131-r1 b/metadata/md5-cache/dev-lang/idris2-0.6.0 index 3dddaa405457..413f334f0143 100644 --- a/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220131-r1 +++ b/metadata/md5-cache/dev-lang/idris2-0.6.0 @@ -11,6 +11,6 @@ LICENSE=BSD RDEPEND=dev-libs/gmp chez? ( dev-scheme/chez:=[threads] ) racket? ( dev-scheme/racket:=[threads] ) REQUIRED_USE=^^ ( chez racket ) SLOT=0 -SRC_URI=https://github.com/idris-lang/Idris2/archive/a2c7e9f306ea8ff935bbeff1eac764291b12ce87.tar.gz -> idris2-0.5.1_p20220131.tar.gz +SRC_URI=https://github.com/idris-lang/Idris2/archive/v0.6.0.tar.gz -> idris2-0.6.0.tar.gz _eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 441f754fd75cd4fd1fa06fbc17da6144 -_md5_=ce6060f28750da20bc7be74862390484 +_md5_=5209901255424ccd811b858827899d70 |