2023-10-23 20:47:02 UTC

11 files changed, 66 insertions, 45 deletions

diff --git a/metadata/md5-cache/app-emacs/citar-1.4.0 b/metadata/md5-cache/app-emacs/citar-1.4.0
new file mode 100644
index 000000000000..4ec438a2d5d1
--- /dev/null
+++ b/metadata/md5-cache/app-emacs/citar-1.4.0
@@ -0,0 +1,13 @@
+BDEPEND=app-emacs/citeproc-el app-emacs/parsebib >=app-editors/emacs-27.1:*
+DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
+DESCRIPTION=Emacs package to quickly find and act on bibliographic references
+EAPI=8
+HOMEPAGE=https://github.com/emacs-citar/citar/
+INHERIT=elisp
+KEYWORDS=~amd64
+LICENSE=GPL-3+
+RDEPEND=app-emacs/citeproc-el app-emacs/parsebib >=app-editors/emacs-27.1:*
+SLOT=0
+SRC_URI=https://github.com/emacs-citar/citar/archive/v1.4.0.tar.gz -> citar-1.4.0.tar.gz
+_eclasses_=elisp-common	2a0fa407d2e6363c663ccb299503b25c	elisp	fbefa95f5e9ab880a34bc69832b7c0d7
+_md5_=7cf2bc7d2561794d4f5deb6fc45c327f
diff --git a/metadata/md5-cache/app-emacs/expand-region-1.0.0 b/metadata/md5-cache/app-emacs/expand-region-1.0.0
new file mode 100644
index 000000000000..55de0e3ab7ab
--- /dev/null
+++ b/metadata/md5-cache/app-emacs/expand-region-1.0.0
@@ -0,0 +1,13 @@
+BDEPEND=>=app-editors/emacs-25.3:*
+DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
+DESCRIPTION=Emacs extension to increase selected region by semantic units
+EAPI=7
+HOMEPAGE=https://github.com/magnars/expand-region.el
+INHERIT=elisp
+KEYWORDS=~amd64 ~x86
+LICENSE=GPL-3+
+RDEPEND=>=app-editors/emacs-25.3:*
+SLOT=0
+SRC_URI=https://github.com/magnars/expand-region.el/archive/1.0.0.tar.gz -> expand-region-1.0.0.tar.gz
+_eclasses_=elisp-common	2a0fa407d2e6363c663ccb299503b25c	elisp	fbefa95f5e9ab880a34bc69832b7c0d7
+_md5_=70d864da94fa0843a5b606e701dc5579
diff --git a/metadata/md5-cache/app-text/pandoc-bin-3.1.6.1 b/metadata/md5-cache/app-text/pandoc-bin-3.1.6.1
deleted file mode 100644
index e2c190a52264..000000000000
--- a/metadata/md5-cache/app-text/pandoc-bin-3.1.6.1
+++ /dev/null
@@ -1,11 +0,0 @@
-DEFINED_PHASES=install unpack
-DESCRIPTION=Conversion between markup formats (binary package)
-EAPI=8
-HOMEPAGE=https://pandoc.org/ https://github.com/jgm/pandoc/
-IUSE=+pandoc-symlink
-KEYWORDS=-* amd64 arm64
-LICENSE=GPL-2+
-RDEPEND=pandoc-symlink? ( !app-text/pandoc )
-SLOT=0
-SRC_URI=amd64? ( https://github.com/jgm/pandoc/releases/download/3.1.6.1/pandoc-3.1.6.1-linux-amd64.tar.gz ) arm64? ( https://github.com/jgm/pandoc/releases/download/3.1.6.1/pandoc-3.1.6.1-linux-arm64.tar.gz )
-_md5_=e442be8235bc1d246765ad2eea234986
diff --git a/metadata/md5-cache/app-text/pandoc-bin-3.1.6.2 b/metadata/md5-cache/app-text/pandoc-bin-3.1.6.2
deleted file mode 100644
index f290b575f987..000000000000
--- a/metadata/md5-cache/app-text/pandoc-bin-3.1.6.2
+++ /dev/null
@@ -1,11 +0,0 @@
-DEFINED_PHASES=install unpack
-DESCRIPTION=Conversion between markup formats (binary package)
-EAPI=8
-HOMEPAGE=https://pandoc.org/ https://github.com/jgm/pandoc/
-IUSE=+pandoc-symlink
-KEYWORDS=-* amd64 arm64
-LICENSE=GPL-2+
-RDEPEND=pandoc-symlink? ( !app-text/pandoc )
-SLOT=0
-SRC_URI=amd64? ( https://github.com/jgm/pandoc/releases/download/3.1.6.2/pandoc-3.1.6.2-linux-amd64.tar.gz ) arm64? ( https://github.com/jgm/pandoc/releases/download/3.1.6.2/pandoc-3.1.6.2-linux-arm64.tar.gz )
-_md5_=e442be8235bc1d246765ad2eea234986
diff --git a/metadata/md5-cache/app-text/pandoc-bin-3.1.7 b/metadata/md5-cache/app-text/pandoc-bin-3.1.7
deleted file mode 100644
index c963480e9c3f..000000000000
--- a/metadata/md5-cache/app-text/pandoc-bin-3.1.7
+++ /dev/null
@@ -1,11 +0,0 @@
-DEFINED_PHASES=install unpack
-DESCRIPTION=Conversion between markup formats (binary package)
-EAPI=8
-HOMEPAGE=https://pandoc.org/ https://github.com/jgm/pandoc/
-IUSE=+pandoc-symlink
-KEYWORDS=-* amd64 arm64
-LICENSE=GPL-2+
-RDEPEND=pandoc-symlink? ( !app-text/pandoc )
-SLOT=0
-SRC_URI=amd64? ( https://github.com/jgm/pandoc/releases/download/3.1.7/pandoc-3.1.7-linux-amd64.tar.gz ) arm64? ( https://github.com/jgm/pandoc/releases/download/3.1.7/pandoc-3.1.7-linux-arm64.tar.gz )
-_md5_=e442be8235bc1d246765ad2eea234986
diff --git a/metadata/md5-cache/app-text/pandoc-bin-3.1.8 b/metadata/md5-cache/app-text/pandoc-bin-3.1.8-r1
index a966377080cb..6bb911d21033 100644
--- a/metadata/md5-cache/app-text/pandoc-bin-3.1.8
+++ b/metadata/md5-cache/app-text/pandoc-bin-3.1.8-r1
@@ -5,7 +5,7 @@ HOMEPAGE=https://pandoc.org/ https://github.com/jgm/pandoc/
 IUSE=+pandoc-symlink
 KEYWORDS=-* amd64 arm64
 LICENSE=GPL-2+
-RDEPEND=pandoc-symlink? ( !app-text/pandoc )
+RDEPEND=pandoc-symlink? ( !app-text/pandoc !app-text/pandoc-cli !dev-haskell/pandoc[doc] )
 SLOT=0
 SRC_URI=amd64? ( https://github.com/jgm/pandoc/releases/download/3.1.8/pandoc-3.1.8-linux-amd64.tar.gz ) arm64? ( https://github.com/jgm/pandoc/releases/download/3.1.8/pandoc-3.1.8-linux-arm64.tar.gz )
-_md5_=e442be8235bc1d246765ad2eea234986
+_md5_=318ad61aeb84db889acf6be21f0a1dad
diff --git a/metadata/md5-cache/dev-lang/algol68g-3.4.3 b/metadata/md5-cache/dev-lang/algol68g-3.4.3
new file mode 100644
index 000000000000..28348bc3a5f8
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/algol68g-3.4.3
@@ -0,0 +1,12 @@
+DEFINED_PHASES=configure
+DEPEND=curl? ( net-misc/curl ) gsl? ( sci-libs/gsl:= ) mpfr? ( dev-libs/mpfr:= ) plotutils? ( media-libs/plotutils ) postgres? ( dev-db/postgresql:* ) readline? ( sys-libs/readline:= )
+DESCRIPTION=Algol 68 Genie compiler-interpreter
+EAPI=8
+HOMEPAGE=https://jmvdveer.home.xs4all.nl/en.algol-68-genie.html
+IUSE=+curl +gsl +mpfr +ncurses plotutils postgres +readline
+KEYWORDS=~amd64 ~x86
+LICENSE=GPL-3+
+RDEPEND=curl? ( net-misc/curl ) gsl? ( sci-libs/gsl:= ) mpfr? ( dev-libs/mpfr:= ) plotutils? ( media-libs/plotutils ) postgres? ( dev-db/postgresql:* ) readline? ( sys-libs/readline:= )
+SLOT=0
+SRC_URI=https://jmvdveer.home.xs4all.nl/algol68g-3.4.3.tar.gz
+_md5_=4dfb493db2c411ee8c56df7bf2f929da
diff --git a/metadata/md5-cache/dev-lang/luau-0.593 b/metadata/md5-cache/dev-lang/luau-0.600
index 7da9f006ced4..dd9a4862c60a 100644
--- a/metadata/md5-cache/dev-lang/luau-0.593
+++ b/metadata/md5-cache/dev-lang/luau-0.600
@@ -4,9 +4,9 @@ DESCRIPTION=Gradually typed embeddable scripting language derived from Lua
 EAPI=8
 HOMEPAGE=https://luau-lang.org/ https://github.com/Roblox/luau/
 INHERIT=cmake
-KEYWORDS=amd64 ~x86
+KEYWORDS=~amd64 ~x86
 LICENSE=MIT
 SLOT=0
-SRC_URI=https://github.com/Roblox/luau/archive/0.593.tar.gz -> luau-0.593.tar.gz
+SRC_URI=https://github.com/Roblox/luau/archive/0.600.tar.gz -> luau-0.600.tar.gz
 _eclasses_=toolchain-funcs	fbbbc99d10168de2926e06da7169b8dc	multilib	c19072c3cd7ac5cb21de013f7e9832e0	flag-o-matic	5ae516d405b6ae5636e487ea4350a8a2	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe	ninja-utils	39e7a84b06eff4efd9f2e0c3d1668b98	xdg-utils	baea6080dd821f5562d715887954c9d3	cmake	fc2f89084f590ac95c004ea95b0d2f80
-_md5_=84e65d7cef5328cd3e71bb10e9d36ecf
+_md5_=288036d8dd9072d009714727d11bc805
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1
new file mode 100644
index 000000000000..3067988c981b
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1
@@ -0,0 +1,16 @@
+BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune
+DEFINED_PHASES=compile install postinst postrm test
+DEPEND=>=sci-mathematics/coq-8.18.0:= <sci-mathematics/coq-8.19.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant
+EAPI=8
+HOMEPAGE=https://github.com/ejgallego/coq-serapi/
+INHERIT=elisp-common dune
+IUSE=emacs +ocamlopt test
+KEYWORDS=~amd64
+LICENSE=GPL-3+
+RDEPEND=>=sci-mathematics/coq-8.18.0:= <sci-mathematics/coq-8.19.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+RESTRICT=!test? ( test )
+SLOT=0/0.18.1
+SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.18.0+0.18.1.tar.gz -> coq-serapi-0.18.1.tar.gz
+_eclasses_=elisp-common	2a0fa407d2e6363c663ccb299503b25c	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe	dune	beddc7cde467b2e48afc78a87d042c01
+_md5_=73f7e628ca7497b0ca274f264727b36a
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 57f407f2248e..8a17fee54b6a 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -1884,7 +1884,7 @@ app-emacs/cfrs 1.6.0-r1: Child Frame Read String, alternative to read-string
 app-emacs/chess 2.0.5: A chess client and library for Emacs
 app-emacs/cider 1.7.0 1.8.3: Clojure Interactive Development Environment for GNU Emacs
 app-emacs/circe 2.12: A great IRC client for Emacs
-app-emacs/citar 1.3.1: Emacs package to quickly find and act on bibliographic references
+app-emacs/citar 1.3.1 1.4.0: Emacs package to quickly find and act on bibliographic references
 app-emacs/citeproc-el 0.9.3: CSL 1.0.2 Citation Processor for Emacs
 app-emacs/cldoc 1.16: Show Common Lisp operators and variables information in echo area
 app-emacs/clojure-mode 5.17.0 5.18.0: Major mode for Clojure code
@@ -2000,7 +2000,7 @@ app-emacs/esup 0.7.1_p20220203: Benchmark Emacs Startup time without ever leavin
 app-emacs/evil 1.14.0 1.14.2: Extensible vi layer for Emacs
 app-emacs/exec-path-from-shell 1.12 2.1: Ensure environment variables inside Emacs are the same as in shell
 app-emacs/exheres-mode 1.10: Major mode for editing files in exheres format
-app-emacs/expand-region 0.11.0-r1: Emacs extension to increase selected region by semantic units
+app-emacs/expand-region 0.11.0-r1 1.0.0: Emacs extension to increase selected region by semantic units
 app-emacs/external-completion 0.1: Let external tools control completion style in GNU Emacs
 app-emacs/exwm 0.27 0.28: Emacs X Window Manager
 app-emacs/f 0.20.0-r1: Modern API for working with files and directories in Emacs
@@ -3264,7 +3264,7 @@ app-text/openpaperwork-core 2.1.2: Core part of Paperwork (plugin management)
 app-text/openpaperwork-gtk 2.1.2: Paperwork plugins
 app-text/opensp 1.5.2-r9 1.5.2-r10: A free, object-oriented toolkit for SGML parsing and entity management
 app-text/pandoc 2.18-r2: Conversion between markup formats
-app-text/pandoc-bin 3.1.6.1 3.1.6.2 3.1.7 3.1.8: Conversion between markup formats (binary package)
+app-text/pandoc-bin 3.1.8-r1: Conversion between markup formats (binary package)
 app-text/pandoc-cli 0.1.1: Conversion between documentation formats
 app-text/paper-clip 3.2-r1 9999: Edit the title, author, keywords and more details of PDF documents
 app-text/paperwork 2.1.2: a personal document manager for scanned documents (and PDFs)
@@ -4935,7 +4935,7 @@ dev-java/zxing-core 3.5.1: Core barcode encoding/decoding library
 dev-java/zxing-javase 3.5.1: Core barcode encoding/decoding library
 dev-lang/R 4.3.1: Language and environment for statistical computing and graphics
 dev-lang/abs 2.6.0: The ABS programing language
-dev-lang/algol68g 3.3.24 3.4.2: Algol 68 Genie compiler-interpreter
+dev-lang/algol68g 3.3.24 3.4.2 3.4.3: Algol 68 Genie compiler-interpreter
 dev-lang/ammonite-repl-bin 2.5.8 2.5.9 2.5.11: Scala language-based scripting and REPL
 dev-lang/arc 3.2: New dialect of Lisp, works well for web applications
 dev-lang/ats2 0.4.2: Functional programming language with dependent types
@@ -4996,7 +4996,7 @@ dev-lang/lisaac 0.13.1-r2: An object prototype based language
 dev-lang/logtalk 3.36.0 3.47.0: Open source object-oriented logic programming language
 dev-lang/lua 5.1.5-r200 5.3.6-r102 5.4.4-r103 5.4.6: A powerful light-weight programming language designed for extending applications
 dev-lang/luajit 2.1.0_beta3_p20220127-r2 2.1.0_beta3_p20220613: Just-In-Time Compiler for the Lua programming language
-dev-lang/luau 0.593 0.595 0.596 0.598 0.599: Gradually typed embeddable scripting language derived from Lua
+dev-lang/luau 0.595 0.596 0.598 0.599 0.600: Gradually typed embeddable scripting language derived from Lua
 dev-lang/maude 3.1-r1: High-level specification language for equational and logic programming
 dev-lang/mercury 20.06-r1 20.06.1 22.01 22.01.1: Mercury is a modern general-purpose logic/functional programming language
 dev-lang/mercury-extras 20.06 20.06.1 22.01 22.01.1: Additional libraries and tools that are not part of the Mercury standard library
@@ -16146,7 +16146,7 @@ sci-mathematics/cgal 5.5 5.5.2: C++ library for geometric algorithms and data st
 sci-mathematics/cliquer 1.22: C routines for finding cliques in an arbitrary weighted graph
 sci-mathematics/coq 8.17.1 8.18.0: Proof assistant written in O'Caml
 sci-mathematics/coq-mathcomp 1.16.0-r1: Mathematical Components for the Coq proof assistant
-sci-mathematics/coq-serapi 0.17.0: Serialization library and protocol for interaction with the Coq proof assistant
+sci-mathematics/coq-serapi 0.17.0 0.18.1: Serialization library and protocol for interaction with the Coq proof assistant
 sci-mathematics/cryptominisat 5.11.14 5.11.15: Advanced SAT solver with C++ and command-line interfaces
 sci-mathematics/cubicle 1.2.0-r2: Model checker for verifying properties of array-based systems
 sci-mathematics/cudd 3.0.0: Colorado University binary Decision Diagram library
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index a62070b7ca68..31249c57f5f5 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Mon, 23 Oct 2023 20:16:57 +0000
+Mon, 23 Oct 2023 20:47:02 +0000