8 files changed, 80 insertions, 18 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.11.2-r1 b/metadata/md5-cache/sci-mathematics/coq-8.11.2-r1
new file mode 100644
index 000000000000..1d052abc9750
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.11.2-r1
@@ -0,0 +1,15 @@
+DEFINED_PHASES=compile configure install test
+DEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-ml/findlib 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 )
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=7
+HOMEPAGE=http://coq.inria.fr/
+INHERIT=desktop multilib
+IUSE=gtk debug +ocamlopt doc
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://github.com/coq/coq/archive/V8.11.2.tar.gz -> coq-8.11.2.tar.gz
+_eclasses_=desktop	c0d27bf73aa08ca05b663dbd31fbef28	multilib	97566c1a256d07b00848aa767e38a352	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa
+_md5_=5836a25a10b5cace312d5498dca2bab6
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2
new file mode 100644
index 000000000000..888cc07d847c
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2
@@ -0,0 +1,15 @@
+DEFINED_PHASES=compile configure install test
+DEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-ml/findlib 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 )
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=7
+HOMEPAGE=http://coq.inria.fr/
+INHERIT=desktop multilib
+IUSE=gtk debug +ocamlopt doc
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://github.com/coq/coq/archive/V8.12.0.tar.gz -> coq-8.12.0.tar.gz
+_eclasses_=desktop	c0d27bf73aa08ca05b663dbd31fbef28	multilib	97566c1a256d07b00848aa767e38a352	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa
+_md5_=a723ec535ee48c96c0a06abafcba3214
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
new file mode 100644
index 000000000000..f1c86191172c
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
@@ -0,0 +1,15 @@
+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
+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
+SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz
+_eclasses_=desktop	c0d27bf73aa08ca05b663dbd31fbef28	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=cf095aa4b2685a05dc9a994fa9bd075f
diff --git a/metadata/md5-cache/sci-physics/thepeg-2.0.4 b/metadata/md5-cache/sci-physics/thepeg-2.0.4
deleted file mode 100644
index 14e6ffb29a93..000000000000
--- a/metadata/md5-cache/sci-physics/thepeg-2.0.4
+++ /dev/null
@@ -1,15 +0,0 @@
-DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup test
-DEPEND=sci-libs/gsl:0= emacs? ( >=app-editors/emacs-23.1:* ) fastjet? ( sci-physics/fastjet:0= ) hepmc? ( sci-physics/hepmc:0= ) java? ( >=virtual/jre-1.5:* ) lhapdf? ( >=sci-physics/lhapdf-6.0:0= ) zlib? ( sys-libs/zlib:0= ) test? ( sys-process/time ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 java? ( >=dev-java/java-config-2.2.0-r3 )
-DESCRIPTION=Toolkit for High Energy Physics Event Generation
-EAPI=6
-HOMEPAGE=http://home.thep.lu.se/ThePEG/
-INHERIT=autotools elisp-common java-pkg-opt-2
-IUSE=c++11 emacs fastjet hepmc java lhapdf static-libs test zlib elibc_FreeBSD java
-KEYWORDS=~amd64 ~x86 ~amd64-linux ~x86-linux
-LICENSE=GPL-2
-RDEPEND=sci-libs/gsl:0= emacs? ( >=app-editors/emacs-23.1:* ) fastjet? ( sci-physics/fastjet:0= ) hepmc? ( sci-physics/hepmc:0= ) java? ( >=virtual/jre-1.5:* ) lhapdf? ( >=sci-physics/lhapdf-6.0:0= ) zlib? ( sys-libs/zlib:0= ) java? ( >=dev-java/java-config-2.2.0-r3 )
-RESTRICT=!test? ( test )
-SLOT=0/20
-SRC_URI=http://www.hepforge.org/archive/thepeg/ThePEG-2.0.4.tar.bz2 test? ( hepmc? ( http://www.hepforge.org/archive/lhapdf/pdfsets/current/cteq6ll.LHpdf http://www.hepforge.org/archive/lhapdf/pdfsets/current/cteq5l.LHgrid http://www.hepforge.org/archive/lhapdf/pdfsets/current/GRV98nlo.LHgrid http://www.hepforge.org/archive/lhapdf/pdfsets/current/MRST2001nlo.LHgrid ) )
-_eclasses_=desktop	c0d27bf73aa08ca05b663dbd31fbef28	edos2unix	33e347e171066657f91f8b0c72ec8773	estack	055c42df72f76a4f45ec92b35e83cd56	epatch	9f813bb3c47cf2e60619a663b87c5f4e	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	97566c1a256d07b00848aa767e38a352	ltprune	4f3f2db5ce3ccbeeacdf3f94954043aa	preserve-libs	dbc9f8d2d49c66467bc327fddd8317bd	strip-linguas	ac3ee41ee2d31d8c41a77c0838320cc7	vcs-clean	b690a7e9b6c497cf59326a7545df4283	wrapper	4251d4c84c25f59094fd557e0063a974	eutils	dab5d8ec471d025b79c9e6906bcf3bff	gnuconfig	262062cef0ba4f22b397193da514a350	libtool	241a8f577b9781a42a7421e53448a44e	autotools	2a36908d5f63f41614b450a2459567da	eapi7-ver	1a0a60ad07c8b32d2faba2d085dc0f24	elisp-common	cf4fd1b0835b9f3e638724840468064a	versionator	d3fb3ba33acc3bbbdc4d7970227c100d	java-utils-2	bd56fb0d459d0bad9d07fa32febe53cb	java-pkg-opt-2	c9d8408eceaa8e56c729df071dd8cb57
-_md5_=20348f4ff3394363b1a461ff0d67c6be
diff --git a/metadata/md5-cache/sci-physics/thepeg-2.0.4-r1 b/metadata/md5-cache/sci-physics/thepeg-2.0.4-r1
new file mode 100644
index 000000000000..17b8dab3af45
--- /dev/null
+++ b/metadata/md5-cache/sci-physics/thepeg-2.0.4-r1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup test
+DEPEND=sci-libs/gsl:0= emacs? ( >=app-editors/emacs-23.1:* ) fastjet? ( sci-physics/fastjet:0= ) hepmc? ( sci-physics/hepmc:0= ) lhapdf? ( >=sci-physics/lhapdf-6.0:0= ) zlib? ( sys-libs/zlib:0= ) java? ( virtual/jdk:1.8 ) test? ( sys-process/time ) java? ( >=dev-java/java-config-2.2.0-r3 )
+DESCRIPTION=Toolkit for High Energy Physics Event Generation
+EAPI=7
+HOMEPAGE=http://home.thep.lu.se/ThePEG/
+INHERIT=autotools elisp-common java-pkg-opt-2
+IUSE=c++11 emacs fastjet hepmc java lhapdf static-libs test zlib elibc_FreeBSD java
+KEYWORDS=~amd64 ~x86 ~amd64-linux ~x86-linux
+LICENSE=GPL-2
+RDEPEND=sci-libs/gsl:0= emacs? ( >=app-editors/emacs-23.1:* ) fastjet? ( sci-physics/fastjet:0= ) hepmc? ( sci-physics/hepmc:0= ) lhapdf? ( >=sci-physics/lhapdf-6.0:0= ) zlib? ( sys-libs/zlib:0= ) java? ( virtual/jre:1.8 ) java? ( >=dev-java/java-config-2.2.0-r3 )
+RESTRICT=!test? ( test )
+SLOT=0/20
+SRC_URI=https://www.hepforge.org/archive/thepeg/ThePEG-2.0.4.tar.bz2 test? ( hepmc? ( https://www.hepforge.org/archive/lhapdf/pdfsets/current/cteq6ll.LHpdf https://www.hepforge.org/archive/lhapdf/pdfsets/current/cteq5l.LHgrid https://www.hepforge.org/archive/lhapdf/pdfsets/current/GRV98nlo.LHgrid https://www.hepforge.org/archive/lhapdf/pdfsets/current/MRST2001nlo.LHgrid ) )
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	97566c1a256d07b00848aa767e38a352	libtool	241a8f577b9781a42a7421e53448a44e	autotools	2a36908d5f63f41614b450a2459567da	elisp-common	cf4fd1b0835b9f3e638724840468064a	java-utils-2	bd56fb0d459d0bad9d07fa32febe53cb	java-pkg-opt-2	c9d8408eceaa8e56c729df071dd8cb57
+_md5_=1445f8319a7da2c9476ed742b6b60b43
diff --git a/metadata/md5-cache/sci-physics/thepeg-2.2.2 b/metadata/md5-cache/sci-physics/thepeg-2.2.2
new file mode 100644
index 000000000000..89c8f9f5e981
--- /dev/null
+++ b/metadata/md5-cache/sci-physics/thepeg-2.2.2
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup test
+DEPEND=sci-libs/gsl:0= emacs? ( >=app-editors/emacs-23.1:* ) fastjet? ( sci-physics/fastjet:0= ) hepmc? ( sci-physics/hepmc:0= ) lhapdf? ( >=sci-physics/lhapdf-6.0:0= ) zlib? ( sys-libs/zlib:0= ) java? ( virtual/jdk:1.8 ) test? ( sys-process/time ) java? ( >=dev-java/java-config-2.2.0-r3 )
+DESCRIPTION=Toolkit for High Energy Physics Event Generation
+EAPI=7
+HOMEPAGE=http://home.thep.lu.se/ThePEG/
+INHERIT=autotools elisp-common java-pkg-opt-2
+IUSE=emacs fastjet hepmc java lhapdf static-libs test zlib elibc_FreeBSD java
+KEYWORDS=~amd64 ~x86 ~amd64-linux ~x86-linux
+LICENSE=GPL-2
+RDEPEND=sci-libs/gsl:0= emacs? ( >=app-editors/emacs-23.1:* ) fastjet? ( sci-physics/fastjet:0= ) hepmc? ( sci-physics/hepmc:0= ) lhapdf? ( >=sci-physics/lhapdf-6.0:0= ) zlib? ( sys-libs/zlib:0= ) java? ( virtual/jre:1.8 ) java? ( >=dev-java/java-config-2.2.0-r3 )
+RESTRICT=!test? ( test )
+SLOT=0/20
+SRC_URI=https://www.hepforge.org/archive/thepeg/ThePEG-2.2.2.tar.bz2 test? ( hepmc? ( https://www.hepforge.org/archive/lhapdf/pdfsets/current/cteq6ll.LHpdf https://www.hepforge.org/archive/lhapdf/pdfsets/current/cteq5l.LHgrid https://www.hepforge.org/archive/lhapdf/pdfsets/current/GRV98nlo.LHgrid https://www.hepforge.org/archive/lhapdf/pdfsets/current/MRST2001nlo.LHgrid ) )
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	97566c1a256d07b00848aa767e38a352	libtool	241a8f577b9781a42a7421e53448a44e	autotools	2a36908d5f63f41614b450a2459567da	elisp-common	cf4fd1b0835b9f3e638724840468064a	java-utils-2	bd56fb0d459d0bad9d07fa32febe53cb	java-pkg-opt-2	c9d8408eceaa8e56c729df071dd8cb57
+_md5_=3ce082a73aa828d860acfa4b7a173b00
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 190c30af0479..67d0fafb80ed 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -16770,7 +16770,7 @@ sci-mathematics/bertini 1.4: Software for Numerical Algebraic Geometry
 sci-mathematics/calc 2.12.5.4 2.13.0.1: Arbitrary precision C-like arithmetic system
 sci-mathematics/cgal 5.1-r2 5.2-r2 5.2.1-r2 5.2.2-r1: C++ library for geometric algorithms and data structures
 sci-mathematics/cliquer 1.21 1.22: C routines for finding cliques in an arbitrary weighted graph
-sci-mathematics/coq 8.11.2 8.12.0-r1 8.13.0: Proof assistant written in O'Caml
+sci-mathematics/coq 8.11.2 8.11.2-r1 8.12.0-r1 8.12.0-r2 8.13.0 8.13.0-r1: Proof assistant written in O'Caml
 sci-mathematics/cvc4 1.7-r1 1.8: Automatic theorem prover for satisfiability modulo theories (SMT) problems
 sci-mathematics/dataplot 20131220: Program for scientific visualization and statistical analyis
 sci-mathematics/diagrtb 2.64: Calculation of some eigenvectors of a large real, symmetrical, matrix
@@ -16877,7 +16877,7 @@ sci-physics/reduze 2.4: Program for reducing Feynman integrals
 sci-physics/root 6.22.08-r2 6.24.02-r1 6.24.9999 9999: C++ data analysis framework and interpreter from CERN
 sci-physics/sassena 1.4.2: Software for Calculating Scattering Diagrams on Massively Parallel Computers
 sci-physics/siscone 3.0.5: Hadron Seedless Infrared-Safe Cone jet algorithm
-sci-physics/thepeg 2.0.4: Toolkit for High Energy Physics Event Generation
+sci-physics/thepeg 2.0.4-r1 2.2.2: Toolkit for High Energy Physics Event Generation
 sci-physics/vgm 4.8-r1 4.9-r1 9999: Virtual Geometry Model for High Energy Physics Experiments
 sci-physics/vmc 1.0_p3-r1 9999: The Virtual Monte Carlo core library
 sci-physics/xfoil 6.99: Design and analysis of subsonic isolated airfoils
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index b0b10dc93e39..80494ae84136 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Mon, 26 Jul 2021 08:22:35 +0000
+Mon, 26 Jul 2021 11:22:22 +0000