summaryrefslogtreecommitdiff
path: root/metadata/md5-cache
diff options
context:
space:
mode:
authormirror@stealer.net <mirror@stealer.net>2023-06-28 02:00:15 +0000
committermirror@stealer.net <mirror@stealer.net>2023-06-28 02:00:15 +0000
commit4c7950b3e3fac97b88b235b9e06f5d174b264514 (patch)
tree57ea725b428204faa6c29f343f42f5c585893157 /metadata/md5-cache
parentaa4a72c63a81e7ee7735433c1e0c066457e7a216 (diff)
2023-06-28 01:39:50+00:00
Diffstat (limited to 'metadata/md5-cache')
-rw-r--r--metadata/md5-cache/Manifest.gzbin27909 -> 27912 bytes
-rw-r--r--metadata/md5-cache/app-emacs/Manifest.gzbin113678 -> 113677 bytes
-rw-r--r--metadata/md5-cache/app-emacs/elixir-mode-2.5.0 (renamed from metadata/md5-cache/app-emacs/elixir-mode-2.3.2_p20220314)10
-rw-r--r--metadata/md5-cache/app-emacs/embark-999912
-rw-r--r--metadata/md5-cache/app-emacs/org-mode-9.6.415
-rw-r--r--metadata/md5-cache/app-emacs/org-mode-9.6.7 (renamed from metadata/md5-cache/app-emacs/org-mode-9.6.3)6
-rw-r--r--metadata/md5-cache/dev-lang/Manifest.gzbin41330 -> 41487 bytes
-rw-r--r--metadata/md5-cache/dev-lang/elpi-1.16.1016
-rw-r--r--metadata/md5-cache/dev-lang/typescript-5.1.5 (renamed from metadata/md5-cache/dev-lang/typescript-4.9.5)6
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin29210 -> 29214 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.13.0-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.17.116
-rw-r--r--metadata/md5-cache/sci-mathematics/opensmt-2.5.1 (renamed from metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2)6
13 files changed, 58 insertions, 44 deletions
diff --git a/metadata/md5-cache/Manifest.gz b/metadata/md5-cache/Manifest.gz
index 90a431c0ed80d..afb87fd18142d 100644
--- a/metadata/md5-cache/Manifest.gz
+++ b/metadata/md5-cache/Manifest.gz
Binary files differ
diff --git a/metadata/md5-cache/app-emacs/Manifest.gz b/metadata/md5-cache/app-emacs/Manifest.gz
index c3960d3a7ee07..e30b9893b46ac 100644
--- a/metadata/md5-cache/app-emacs/Manifest.gz
+++ b/metadata/md5-cache/app-emacs/Manifest.gz
Binary files differ
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 44f836ebc84bb..3f843afba603f 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 7190c722d9e06fabcae26ef1e1dc9183 elisp-common 01bc6dc778b74a9deebe4e419a3b790e
-_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 0000000000000..76addd24c26bf
--- /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 7190c722d9e06fabcae26ef1e1dc9183 elisp-common 01bc6dc778b74a9deebe4e419a3b790e git-r3 27e13c09a4c7e4c78ac812f74727e676 optfeature 222cb475c5a4f7ae7cfb0bf510a6fe54
+_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 05dc0530713ae..0000000000000
--- 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 7190c722d9e06fabcae26ef1e1dc9183 elisp-common 01bc6dc778b74a9deebe4e419a3b790e 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 6f366626fabab..cf1cc0f0590a1 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 7190c722d9e06fabcae26ef1e1dc9183 elisp-common 01bc6dc778b74a9deebe4e419a3b790e readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3
-_md5_=cd8c0a45af44cb1dfb5dc5d90caeeea8
+_md5_=567831454e98525b3087c46320283b5f
diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz
index a5d334e9cabf7..b8af14fb270a0 100644
--- a/metadata/md5-cache/dev-lang/Manifest.gz
+++ b/metadata/md5-cache/dev-lang/Manifest.gz
Binary files differ
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 0000000000000..8894413db418d
--- /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_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
+_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 5041404b60450..8b49d8205e239 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/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index da8c061785be0..4834200d357f1 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
Binary files differ
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 4a41d7335e4df..0000000000000
--- 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 0000000000000..1152d61767de8
--- /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 dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
+_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 476cc5c6940fc..6434d967ece8a 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_=cmake 1abaebfe913f48975739281ab7d7ab75 flag-o-matic ad475baa777c9978fa035216c8264a10 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3
-_md5_=9fa742eeca6812e326030d77c6312a90
+_md5_=fb1afbbfccdd0d3fcf6b58d691007f37
generated by cgit v1.2.3 (git 2.46.0) at 2025-08-03 13:41:46 +0000