From 0d39cf7bd8aae36b5d8eb4272a42dc6919216e34 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Tue, 11 Apr 2023 17:39:25 +0100
Subject: gentoo auto-resync : 11:04:2023 - 17:39:25

---
 metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'metadata/md5-cache/sci-mathematics/coq-8.13.0-r1')

diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
index 82287ee796ff..4a41d7335e4d 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
+++ b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
@@ -9,7 +9,7 @@ KEYWORDS=~amd64 ~x86
 LICENSE=LGPL-2.1
 RDEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?]
 RESTRICT=test
-SLOT=0
+SLOT=0/8.13.0
 SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz
 _eclasses_=desktop	021728fdc1b03b36357dbc89489e0f0d	findlib	cc1c14904708a0a28bcb256b342a808c
-_md5_=cf095aa4b2685a05dc9a994fa9bd075f
+_md5_=09238a256c160ba8525deb5f9ce473dc
-- 
cgit v1.2.3