From 7a795be3ed6b29502cf5dccb5ea8294fc1ec2860 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Tue, 1 Nov 2022 09:07:00 +0000
Subject: gentoo auto-resync : 01:11:2022 - 09:06:59

---
 metadata/md5-cache/dev-lang/Manifest.gz             | Bin 37546 -> 37539 bytes
 metadata/md5-cache/dev-lang/dafny-bin-3.8.0         |  12 ------------
 metadata/md5-cache/dev-lang/dafny-bin-3.9.1         |  12 ++++++++++++
 .../md5-cache/dev-lang/idris2-0.5.1_p20220131-r1    |  16 ----------------
 metadata/md5-cache/dev-lang/idris2-0.6.0            |  16 ++++++++++++++++
 5 files changed, 28 insertions(+), 28 deletions(-)
 delete mode 100644 metadata/md5-cache/dev-lang/dafny-bin-3.8.0
 create mode 100644 metadata/md5-cache/dev-lang/dafny-bin-3.9.1
 delete mode 100644 metadata/md5-cache/dev-lang/idris2-0.5.1_p20220131-r1
 create mode 100644 metadata/md5-cache/dev-lang/idris2-0.6.0

(limited to 'metadata/md5-cache/dev-lang')

diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz
index 9b086d176570..cb2a4c22a48b 100644
Binary files a/metadata/md5-cache/dev-lang/Manifest.gz and b/metadata/md5-cache/dev-lang/Manifest.gz differ
diff --git a/metadata/md5-cache/dev-lang/dafny-bin-3.8.0 b/metadata/md5-cache/dev-lang/dafny-bin-3.8.0
deleted file mode 100644
index c1038eb0fb7c..000000000000
--- a/metadata/md5-cache/dev-lang/dafny-bin-3.8.0
+++ /dev/null
@@ -1,12 +0,0 @@
-BDEPEND=app-arch/unzip
-DEFINED_PHASES=install prepare
-DESCRIPTION=Verification-aware programming language
-EAPI=8
-HOMEPAGE=https://dafny.org/
-KEYWORDS=-* ~amd64
-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
diff --git a/metadata/md5-cache/dev-lang/dafny-bin-3.9.1 b/metadata/md5-cache/dev-lang/dafny-bin-3.9.1
new file mode 100644
index 000000000000..33781fcc1004
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/dafny-bin-3.9.1
@@ -0,0 +1,12 @@
+BDEPEND=app-arch/unzip
+DEFINED_PHASES=install prepare
+DESCRIPTION=Verification-aware programming language
+EAPI=8
+HOMEPAGE=https://dafny.org/
+KEYWORDS=-* ~amd64
+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.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.5.1_p20220131-r1
deleted file mode 100644
index 3dddaa405457..000000000000
--- a/metadata/md5-cache/dev-lang/idris2-0.5.1_p20220131-r1
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=doc? ( dev-python/sphinx_rtd_theme ) test-full? ( dev-scheme/chez[threads] dev-scheme/racket[threads] net-libs/nodejs )
-DEFINED_PHASES=compile configure install prepare test
-DEPEND=dev-libs/gmp chez? ( dev-scheme/chez:=[threads] ) racket? ( dev-scheme/racket:=[threads] )
-DESCRIPTION=Purely functional programming language with first class types
-EAPI=8
-HOMEPAGE=https://idris-lang.org/
-INHERIT=toolchain-funcs
-IUSE=+chez doc racket test-full
-KEYWORDS=~amd64 ~x86
-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
-_eclasses_=multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	441f754fd75cd4fd1fa06fbc17da6144
-_md5_=ce6060f28750da20bc7be74862390484
diff --git a/metadata/md5-cache/dev-lang/idris2-0.6.0 b/metadata/md5-cache/dev-lang/idris2-0.6.0
new file mode 100644
index 000000000000..413f334f0143
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/idris2-0.6.0
@@ -0,0 +1,16 @@
+BDEPEND=doc? ( dev-python/sphinx_rtd_theme ) test-full? ( dev-scheme/chez[threads] dev-scheme/racket[threads] net-libs/nodejs )
+DEFINED_PHASES=compile configure install prepare test
+DEPEND=dev-libs/gmp chez? ( dev-scheme/chez:=[threads] ) racket? ( dev-scheme/racket:=[threads] )
+DESCRIPTION=Purely functional programming language with first class types
+EAPI=8
+HOMEPAGE=https://idris-lang.org/
+INHERIT=toolchain-funcs
+IUSE=+chez doc racket test-full
+KEYWORDS=~amd64 ~x86
+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/v0.6.0.tar.gz -> idris2-0.6.0.tar.gz
+_eclasses_=multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	441f754fd75cd4fd1fa06fbc17da6144
+_md5_=5209901255424ccd811b858827899d70
-- 
cgit v1.2.3