2022-10-06 21:03:20 UTC

9 files changed, 25 insertions, 25 deletions

diff --git a/metadata/md5-cache/dev-lang/boogie-2.15.8-r2 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r3
index 923df9a153f0..be43e1fd1e0a 100644
--- a/metadata/md5-cache/dev-lang/boogie-2.15.8-r2
+++ b/metadata/md5-cache/dev-lang/boogie-2.15.8-r3
@@ -12,4 +12,4 @@ RESTRICT=!test? ( test )
 SLOT=0
 SRC_URI=https://github.com/boogie-org/boogie/archive/v2.15.8.tar.gz -> boogie-2.15.8.tar.gz https://dev.gentoo.org/~xgqt/distfiles/deps/boogie-2.15.8-deps.tar.xz
 _eclasses_=edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=6a037c60c3be393043fb8330a61fa364
+_md5_=b241c6e6bf57235fa4596581ab73b193
diff --git a/metadata/md5-cache/virtual/dotnet-sdk-3.1 b/metadata/md5-cache/virtual/dotnet-sdk-3.1
deleted file mode 100644
index 60faa38449b4..000000000000
--- a/metadata/md5-cache/virtual/dotnet-sdk-3.1
+++ /dev/null
@@ -1,7 +0,0 @@
-DEFINED_PHASES=-
-DESCRIPTION=Virtual for .NET SDK
-EAPI=7
-KEYWORDS=~amd64 ~arm ~arm64
-RDEPEND=|| ( dev-dotnet/dotnet-sdk-bin:3.1 dev-dotnet/dotnet-sdk:3.1 )
-SLOT=3.1
-_md5_=e91e538e7ec6be0d52a034ab0a4f133e
diff --git a/metadata/md5-cache/virtual/dotnet-sdk-3.1-r1 b/metadata/md5-cache/virtual/dotnet-sdk-3.1-r1
new file mode 100644
index 000000000000..0e0be8a2ffe0
--- /dev/null
+++ b/metadata/md5-cache/virtual/dotnet-sdk-3.1-r1
@@ -0,0 +1,7 @@
+DEFINED_PHASES=-
+DESCRIPTION=Virtual for .NET SDK
+EAPI=8
+KEYWORDS=~amd64 ~arm ~arm64
+RDEPEND=|| ( dev-dotnet/dotnet-sdk-bin:3.1[dotnet-symlink(+)] dev-dotnet/dotnet-sdk:3.1[dotnet-symlink(+)] )
+SLOT=3.1
+_md5_=4397893e9a9ea393a1e9196e3cbe840f
diff --git a/metadata/md5-cache/virtual/dotnet-sdk-5.0 b/metadata/md5-cache/virtual/dotnet-sdk-5.0
deleted file mode 100644
index b33379105623..000000000000
--- a/metadata/md5-cache/virtual/dotnet-sdk-5.0
+++ /dev/null
@@ -1,7 +0,0 @@
-DEFINED_PHASES=-
-DESCRIPTION=Virtual for .NET SDK
-EAPI=7
-KEYWORDS=~amd64 ~arm ~arm64
-RDEPEND=|| ( dev-dotnet/dotnet-sdk-bin:5.0 dev-dotnet/dotnet-sdk:5.0 )
-SLOT=5.0
-_md5_=e8433524218d72588cc2ef4ad38a9688
diff --git a/metadata/md5-cache/virtual/dotnet-sdk-5.0-r1 b/metadata/md5-cache/virtual/dotnet-sdk-5.0-r1
new file mode 100644
index 000000000000..75740b8d938b
--- /dev/null
+++ b/metadata/md5-cache/virtual/dotnet-sdk-5.0-r1
@@ -0,0 +1,7 @@
+DEFINED_PHASES=-
+DESCRIPTION=Virtual for .NET SDK
+EAPI=8
+KEYWORDS=~amd64 ~arm ~arm64
+RDEPEND=|| ( dev-dotnet/dotnet-sdk-bin:5.0[dotnet-symlink(+)] dev-dotnet/dotnet-sdk:5.0[dotnet-symlink(+)] )
+SLOT=5.0
+_md5_=899ce7c060feba65d7f9860307e5f2d5
diff --git a/metadata/md5-cache/virtual/dotnet-sdk-6.0 b/metadata/md5-cache/virtual/dotnet-sdk-6.0
deleted file mode 100644
index b6a2efc8a50a..000000000000
--- a/metadata/md5-cache/virtual/dotnet-sdk-6.0
+++ /dev/null
@@ -1,7 +0,0 @@
-DEFINED_PHASES=-
-DESCRIPTION=Virtual for .NET SDK
-EAPI=7
-KEYWORDS=~amd64 ~arm ~arm64
-RDEPEND=|| ( dev-dotnet/dotnet-sdk-bin:6.0 dev-dotnet/dotnet-sdk:6.0 )
-SLOT=6.0
-_md5_=3ccc295b70aa38ec7b5070de90b9a1e0
diff --git a/metadata/md5-cache/virtual/dotnet-sdk-6.0-r1 b/metadata/md5-cache/virtual/dotnet-sdk-6.0-r1
new file mode 100644
index 000000000000..e3445d72992a
--- /dev/null
+++ b/metadata/md5-cache/virtual/dotnet-sdk-6.0-r1
@@ -0,0 +1,7 @@
+DEFINED_PHASES=-
+DESCRIPTION=Virtual for .NET SDK
+EAPI=8
+KEYWORDS=~amd64 ~arm ~arm64
+RDEPEND=|| ( dev-dotnet/dotnet-sdk-bin:6.0[dotnet-symlink(+)] dev-dotnet/dotnet-sdk:6.0[dotnet-symlink(+)] )
+SLOT=6.0
+_md5_=c29a0b9a932091e49931290d70ede58d
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 200e0442db4a..8f09258d5a0f 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -5177,7 +5177,7 @@ dev-lang/ammonite-repl-bin 2.5.4-r1: Scala language-based scripting and REPL
 dev-lang/arc 3.2: New dialect of Lisp, works well for web applications
 dev-lang/bas 2.4: An interpreter for the classic dialect of the programming language BASIC
 dev-lang/bff 1.0.7: A brainfuck interpreter
-dev-lang/boogie 2.15.8-r2: SMT-based program verifier
+dev-lang/boogie 2.15.8-r3: SMT-based program verifier
 dev-lang/c-intercal 31.0: C-INTERCAL - INTERCAL to binary (via C) compiler
 dev-lang/cfortran 4.4-r4 20110621 20210827: Header file allowing to call Fortran routines from C and C++
 dev-lang/clips 6.40: Tool for building Expert Systems (native version)
@@ -18220,7 +18220,7 @@ virtual/cron 0-r3: Virtual for cron
 virtual/daemontools 0: Virtual for daemontools
 virtual/dev-manager 0-r2: Virtual for the device filesystem manager
 virtual/dist-kernel 5.4.213 5.4.214 5.4.215 5.4.216 5.10.143 5.10.144 5.10.145 5.10.146 5.10.147 5.15.68 5.15.69 5.15.70 5.15.71 5.15.72 5.19.9 5.19.10 5.19.11 5.19.12 5.19.13 5.19.14: Virtual to depend on any Distribution Kernel
-virtual/dotnet-sdk 3.1 5.0 6.0: Virtual for .NET SDK
+virtual/dotnet-sdk 3.1-r1 5.0-r1 6.0-r1: Virtual for .NET SDK
 virtual/editor 0-r3: Virtual for editor
 virtual/fam 0-r1: A virtual package to choose between gamin and fam
 virtual/fortran 0-r1: Virtual for Fortran Compiler
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index 3e61a6160a58..302271c4c133 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Thu, 06 Oct 2022 20:49:05 +0000
+Thu, 06 Oct 2022 21:03:20 +0000