2023-06-28 01:17:00 UTC

11 files changed, 66 insertions, 52 deletions

diff --git a/metadata/md5-cache/app-emacs/elixir-mode-2.3.2_p20220314 b/metadata/md5-cache/app-emacs/elixir-mode-2.5.0
index fba66182e499..1466ab0fcd4c 100644
--- a/metadata/md5-cache/app-emacs/elixir-mode-2.3.2_p20220314
+++ b/metadata/md5-cache/app-emacs/elixir-mode-2.5.0
@@ -1,15 +1,15 @@
-BDEPEND=test? ( app-emacs/ert-runner dev-lang/elixir ) >=app-editors/emacs-25.3:*
+BDEPEND=test? ( dev-lang/elixir ) test? ( app-emacs/ert-runner ) >=app-editors/emacs-25.3:*
 DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
 DESCRIPTION=Emacs major mode for editing Elixir files
 EAPI=8
 HOMEPAGE=https://github.com/elixir-editors/emacs-elixir/
 INHERIT=elisp
-IUSE=test
+IUSE=test test
 KEYWORDS=~amd64 ~x86
 LICENSE=GPL-2+
 RDEPEND=>=app-editors/emacs-25.3:*
-RESTRICT=!test? ( test )
+RESTRICT=!test? ( test ) !test? ( test )
 SLOT=0
-SRC_URI=https://github.com/elixir-editors/emacs-elixir/archive/e0d0466d83ec80ddb412bb1473908a21baad1ec3.tar.gz -> elixir-mode-2.3.2_p20220314.tar.gz
+SRC_URI=https://github.com/elixir-editors/emacs-elixir/archive/v2.5.0.tar.gz -> elixir-mode-2.5.0.tar.gz
 _eclasses_=elisp-common	01bc6dc778b74a9deebe4e419a3b790e	elisp	7190c722d9e06fabcae26ef1e1dc9183
-_md5_=5b504aa74ab0c87113911f8e31e36fd6
+_md5_=5d17ebd37fa57d1585879bbe955f8895
diff --git a/metadata/md5-cache/app-emacs/embark-9999 b/metadata/md5-cache/app-emacs/embark-9999
new file mode 100644
index 000000000000..9e4f4742992d
--- /dev/null
+++ b/metadata/md5-cache/app-emacs/embark-9999
@@ -0,0 +1,12 @@
+BDEPEND=>=app-emacs/compat-29.1.4.0 >=app-editors/emacs-27.1:* >=dev-vcs/git-1.8.2.1[curl]
+DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
+DESCRIPTION=Conveniently act on minibuffer completions inside GNU Emacs
+EAPI=8
+HOMEPAGE=https://github.com/oantolin/embark/
+INHERIT=elisp optfeature git-r3
+LICENSE=GPL-3+
+PROPERTIES=live
+RDEPEND=>=app-emacs/compat-29.1.4.0 >=app-editors/emacs-27.1:*
+SLOT=0
+_eclasses_=elisp-common	01bc6dc778b74a9deebe4e419a3b790e	elisp	7190c722d9e06fabcae26ef1e1dc9183	optfeature	222cb475c5a4f7ae7cfb0bf510a6fe54	git-r3	27e13c09a4c7e4c78ac812f74727e676
+_md5_=7cd1bfdf04d8260214e74d56b0b6cf77
diff --git a/metadata/md5-cache/app-emacs/org-mode-9.6.4 b/metadata/md5-cache/app-emacs/org-mode-9.6.4
deleted file mode 100644
index d53ed73dd082..000000000000
--- a/metadata/md5-cache/app-emacs/org-mode-9.6.4
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=doc? ( virtual/texi2dvi ) >=app-editors/emacs-25.3:*
-DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
-DESCRIPTION=An Emacs mode for notes and project planning
-EAPI=8
-HOMEPAGE=https://www.orgmode.org/
-INHERIT=elisp readme.gentoo-r1
-IUSE=doc odt-schema
-KEYWORDS=amd64 ppc x86
-LICENSE=GPL-3+ FDL-1.3+ CC-BY-SA-3.0 odt-schema? ( OASIS-Open )
-RDEPEND=>=app-editors/emacs-25.3:*
-RESTRICT=test
-SLOT=0
-SRC_URI=https://git.savannah.gnu.org/cgit/emacs/org-mode.git/snapshot/org-mode-release_9.6.4.tar.gz
-_eclasses_=elisp-common	01bc6dc778b74a9deebe4e419a3b790e	elisp	7190c722d9e06fabcae26ef1e1dc9183	readme.gentoo-r1	204091a2cde6179cd9d3db26d09412d3
-_md5_=cd8c0a45af44cb1dfb5dc5d90caeeea8
diff --git a/metadata/md5-cache/app-emacs/org-mode-9.6.3 b/metadata/md5-cache/app-emacs/org-mode-9.6.7
index cfdf741e80be..133c2aff38a4 100644
--- a/metadata/md5-cache/app-emacs/org-mode-9.6.3
+++ b/metadata/md5-cache/app-emacs/org-mode-9.6.7
@@ -5,11 +5,11 @@ EAPI=8
 HOMEPAGE=https://www.orgmode.org/
 INHERIT=elisp readme.gentoo-r1
 IUSE=doc odt-schema
-KEYWORDS=amd64 ppc x86
+KEYWORDS=~amd64 ~ppc ~x86
 LICENSE=GPL-3+ FDL-1.3+ CC-BY-SA-3.0 odt-schema? ( OASIS-Open )
 RDEPEND=>=app-editors/emacs-25.3:*
 RESTRICT=test
 SLOT=0
-SRC_URI=https://git.savannah.gnu.org/cgit/emacs/org-mode.git/snapshot/org-mode-release_9.6.3.tar.gz
+SRC_URI=https://git.savannah.gnu.org/cgit/emacs/org-mode.git/snapshot/org-mode-release_9.6.7.tar.gz
 _eclasses_=elisp-common	01bc6dc778b74a9deebe4e419a3b790e	elisp	7190c722d9e06fabcae26ef1e1dc9183	readme.gentoo-r1	204091a2cde6179cd9d3db26d09412d3
-_md5_=cd8c0a45af44cb1dfb5dc5d90caeeea8
+_md5_=567831454e98525b3087c46320283b5f
diff --git a/metadata/md5-cache/dev-lang/elpi-1.16.10 b/metadata/md5-cache/dev-lang/elpi-1.16.10
new file mode 100644
index 000000000000..0172dc957a45
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/elpi-1.16.10
@@ -0,0 +1,16 @@
+BDEPEND=test? ( dev-ml/ANSITerminal dev-ml/cmdliner ) dev-lang/ocaml dev-ml/dune
+DEFINED_PHASES=compile install test
+DEPEND=>=dev-lang/ocaml-4.08.0:= >=dev-ml/menhir-20211230:= dev-ml/atd:= dev-ml/ppx_deriving:= dev-ml/ppxlib:= dev-ml/re:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+DESCRIPTION=Embeddable Lambda Prolog Interpreter in OCaml
+EAPI=8
+HOMEPAGE=https://github.com/LPCIC/elpi/
+INHERIT=dune
+IUSE=+ocamlopt test
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1+
+RDEPEND=>=dev-lang/ocaml-4.08.0:= >=dev-ml/menhir-20211230:= dev-ml/atd:= dev-ml/ppx_deriving:= dev-ml/ppxlib:= dev-ml/re:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+RESTRICT=!test? ( test )
+SLOT=0/1.16.10
+SRC_URI=https://github.com/LPCIC/elpi/archive/v1.16.10.tar.gz -> elpi-1.16.10.tar.gz
+_eclasses_=edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	beddc7cde467b2e48afc78a87d042c01
+_md5_=60d31eb0a431e41d305f156a1028c241
diff --git a/metadata/md5-cache/dev-lang/typescript-4.9.5 b/metadata/md5-cache/dev-lang/typescript-5.1.5
index 5041404b6045..8b49d8205e23 100644
--- a/metadata/md5-cache/dev-lang/typescript-4.9.5
+++ b/metadata/md5-cache/dev-lang/typescript-5.1.5
@@ -3,9 +3,9 @@ DEFINED_PHASES=compile install
 DESCRIPTION=Superset of JavaScript with optional static typing, classes and interfaces
 EAPI=8
 HOMEPAGE=https://www.typescriptlang.org/ https://github.com/microsoft/TypeScript/
-KEYWORDS=amd64 ~arm64 ~ppc64
+KEYWORDS=~amd64 ~arm64 ~ppc64
 LICENSE=Apache-2.0
 RDEPEND=net-libs/nodejs
 SLOT=0
-SRC_URI=https://registry.npmjs.org/typescript/-/typescript-4.9.5.tgz
-_md5_=911c17e13410a9dab52ed5fe0583b7fd
+SRC_URI=https://registry.npmjs.org/typescript/-/typescript-5.1.5.tgz
+_md5_=568998b4539209d8f5cd4405cf393c05
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
deleted file mode 100644
index 4a41d7335e4d..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
+++ /dev/null
@@ -1,15 +0,0 @@
-DEFINED_PHASES=compile configure install test
-DEPEND=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?] ) doc? ( media-libs/netpbm[png,postscript(+),zlib(+)] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
-DESCRIPTION=Proof assistant written in O'Caml
-EAPI=7
-HOMEPAGE=http://coq.inria.fr/
-INHERIT=desktop findlib
-IUSE=gtk debug +ocamlopt doc +ocamlopt
-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/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_=09238a256c160ba8525deb5f9ce473dc
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.1 b/metadata/md5-cache/sci-mathematics/coq-8.17.1
new file mode 100644
index 000000000000..02bfb1a1fa40
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.17.1
@@ -0,0 +1,16 @@
+BDEPEND=dev-ml/findlib doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) test? ( dev-ml/ounit2 ) dev-lang/ocaml dev-ml/dune
+DEFINED_PHASES=compile configure install prepare test
+DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=8
+HOMEPAGE=http://coq.inria.fr/ https://github.com/coq/coq/
+INHERIT=desktop dune edo
+IUSE=debug doc gui +ocamlopt test
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+RESTRICT=!test? ( test )
+SLOT=0/8.17.1
+SRC_URI=https://github.com/coq/coq/archive/V8.17.1.tar.gz -> coq-8.17.1.tar.gz
+_eclasses_=desktop	021728fdc1b03b36357dbc89489e0f0d	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	beddc7cde467b2e48afc78a87d042c01
+_md5_=6a7ff97e8e02494b1b14d1b93b161bc4
diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2 b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1
index 4e5a54d69771..96745c1fa9f3 100644
--- a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2
+++ b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1
@@ -11,7 +11,7 @@ LICENSE=MIT
 RDEPEND=dev-libs/gmp:=[cxx] readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= )
 REQUIRED_USE=?? ( libedit readline )
 RESTRICT=!test? ( test )
-SLOT=0/2.4.3
-SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.4.3.tar.gz -> opensmt-2.4.3.tar.gz
+SLOT=0/2.5.1
+SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.5.1.tar.gz -> opensmt-2.5.1.tar.gz
 _eclasses_=toolchain-funcs	513c31b3346458ed1f3878b57da6d61c	multilib	c19072c3cd7ac5cb21de013f7e9832e0	flag-o-matic	ad475baa777c9978fa035216c8264a10	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	76050953ad5b70d7e09a6ca55558db92	xdg-utils	baea6080dd821f5562d715887954c9d3	cmake	1abaebfe913f48975739281ab7d7ab75
-_md5_=9fa742eeca6812e326030d77c6312a90
+_md5_=fb1afbbfccdd0d3fcf6b58d691007f37
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index fd116e3709af..1b6443ccac2e 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -1992,7 +1992,7 @@ app-emacs/el-mock 1.25.1: Mocking library for Emacs
 app-emacs/eldev 1.3.1 1.4 1.4.1: Emacs Lisp Development Tool
 app-emacs/elfeed 3.4.1_p20210822: Emacs web feeds client
 app-emacs/elfeed-protocol 0.8.1: Provide extra news client subscription protocols for elfeed
-app-emacs/elixir-mode 2.3.2_p20220314 2.4.1: Emacs major mode for editing Elixir files
+app-emacs/elixir-mode 2.4.1 2.5.0: Emacs major mode for editing Elixir files
 app-emacs/elpa-mirror 2.2.2: Create local package repository from installed Emacs Lisp packages
 app-emacs/elpher 3.4.2 3.4.3 3.5.0 9999: Practical and friendly Gopher and Gemini client for GNU Emacs
 app-emacs/elpy 1.35.0_p20220321 1.35.0_p20220627: Emacs Python Development Environment
@@ -2013,7 +2013,7 @@ app-emacs/emacs-openrc 0.0.0 1.0.0 9999: OpenRC integration for GNU Emacs
 app-emacs/emacs-w3m 1.4.632_pre20181112: emacs-w3m is an interface program of w3m on Emacs
 app-emacs/emacs-websearch 2.0.1 2.1.0 9999: Query search engines from Emacs
 app-emacs/emacs-wget 0.5.0-r1: Wget interface for Emacs
-app-emacs/embark 0.21: Conveniently act on minibuffer completions inside GNU Emacs
+app-emacs/embark 0.21 9999: Conveniently act on minibuffer completions inside GNU Emacs
 app-emacs/embark-consult 0.21: Consult integration for Embark
 app-emacs/emhacks 20070920-r2: Useful Emacs Lisp libraries, including gdiff, jjar, jmaker, swbuff, and tabbar
 app-emacs/emms 13 14 15: The Emacs Multimedia System
@@ -2148,7 +2148,7 @@ app-emacs/ocaml-mode 4.05.0: Emacs mode for OCaml
 app-emacs/orderless 0.7 0.8 1.0: Completion style that matches multiple regexps in any order
 app-emacs/org-appear 0.3.0: Toggle Org mode element visibility upon entering and leaving
 app-emacs/org-contrib 0.3 0.4 0.4.1: Contributed packages to Org
-app-emacs/org-mode 9.4.6 9.5.5 9.6.3 9.6.4 9.6.5 9.6.6 9999: An Emacs mode for notes and project planning
+app-emacs/org-mode 9.4.6 9.5.5 9.6.5 9.6.6 9.6.7 9999: An Emacs mode for notes and project planning
 app-emacs/org-modern 0.7 0.8 0.9-r1: Modern style for your GNU Emacs Org buffers
 app-emacs/org-static-blog 1.5.0 1.6.0: Static site generator using Emacs's org-mode
 app-emacs/org-superstar-mode 1.5.0: Prettify headings and plain lists in Org mode (use UTF8 bullets)
@@ -4892,7 +4892,7 @@ dev-lang/dafny-bin 3.10.0 3.11.0 3.12.0: Verification-aware programming language
 dev-lang/duktape 2.7.0-r3: Embeddable Javascript engine
 dev-lang/eisl 2.93 2.98 3.03 9999: Interpreter and compiler compatible with the ISLisp standard
 dev-lang/elixir 1.12.3 1.13.4 1.14.3 1.14.4 1.14.5: Elixir programming language
-dev-lang/elpi 1.16.9: Embeddable Lambda Prolog Interpreter in OCaml
+dev-lang/elpi 1.16.9 1.16.10: Embeddable Lambda Prolog Interpreter in OCaml
 dev-lang/erlang 25.0.4-r1 25.1.1-r1 25.1.2-r1 25.2.2 25.2.3 25.3 26.0: Erlang programming language, runtime environment and libraries (OTP)
 dev-lang/esco 0.512: Combine interpreter of esoteric languages
 dev-lang/execline 2.9.2.1 2.9.3.0: A non-interactive scripting language
@@ -4979,7 +4979,7 @@ dev-lang/tcl 8.6.11 8.6.12-r1 8.6.13 8.6.13-r1: Tool Command Language
 dev-lang/teyjus 2.1-r2: Higher-order logic programming language Lambda Prolog
 dev-lang/tk 8.6.11.1 8.6.12 8.6.13: Tk Widget Set
 dev-lang/tuprolog 3.2.0: tuProlog is a light-weight Prolog for Internet applications and infrastructures
-dev-lang/typescript 4.9.5 5.0.4 5.1.3: Superset of JavaScript with optional static typing, classes and interfaces
+dev-lang/typescript 5.0.4 5.1.3 5.1.5: Superset of JavaScript with optional static typing, classes and interfaces
 dev-lang/vala 0.56.7 0.56.8: Compiler for the GObject type system
 dev-lang/whitespace 0.4: Whitespace, an esoteric programming language
 dev-lang/xsb 3.8.0 4.0.0: XSB is a logic programming and deductive database system
@@ -16012,7 +16012,7 @@ sci-mathematics/cadical 1.5.2-r1 1.5.3-r1: Simplified Satisfiability Solver
 sci-mathematics/calc 2.13.0.1: Arbitrary precision C-like arithmetic system
 sci-mathematics/cgal 5.5 5.5.2: C++ library for geometric algorithms and data structures
 sci-mathematics/cliquer 1.22: C routines for finding cliques in an arbitrary weighted graph
-sci-mathematics/coq 8.12.0-r2 8.13.0-r1 8.15.2 8.16.1 8.17.0: Proof assistant written in O'Caml
+sci-mathematics/coq 8.12.0-r2 8.15.2 8.16.1 8.17.0 8.17.1: Proof assistant written in O'Caml
 sci-mathematics/coq-mathcomp 1.15.0-r1 1.16.0-r1: Mathematical Components for the Coq proof assistant
 sci-mathematics/coq-serapi 0.16.1 0.16.2-r1 0.16.3 0.17.0: Serialization library and protocol for interaction with the Coq proof assistant
 sci-mathematics/cryptominisat 5.11.4 5.11.11: Advanced SAT solver with C++ and command-line interfaces
@@ -16073,7 +16073,7 @@ sci-mathematics/normaliz 3.9.3 3.10.0: Tool for computations in affine monoids a
 sci-mathematics/num-utils 0.5-r2: A set of programs for dealing with numbers from the command line
 sci-mathematics/octave 7.3.0-r2 8.1.0 8.2.0: High-level interactive language for numerical computations
 sci-mathematics/octave-epstk 2.4: Graphical output functions for Matlab and Octave
-sci-mathematics/opensmt 2.4.3-r2 2.5.0: Compact and open-source SMT-solver written in C++
+sci-mathematics/opensmt 2.5.0 2.5.1: Compact and open-source SMT-solver written in C++
 sci-mathematics/otter 3.3-r4: An Automated Deduction System
 sci-mathematics/pari 2.15.3: Computer-aided number theory C library and tools
 sci-mathematics/pari-data 20191216: Additional dataset packages for PARI
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index a9ca6222619e..f25ce6254787 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Wed, 28 Jun 2023 00:02:00 +0000
+Wed, 28 Jun 2023 01:17:00 +0000