2022-08-09 01:01:56 UTC

4 files changed, 17 insertions, 4 deletions

diff --git a/metadata/md5-cache/app-emacs/dockerfile-mode-1.7 b/metadata/md5-cache/app-emacs/dockerfile-mode-1.7
new file mode 100644
index 000000000000..5957e30e1083
--- /dev/null
+++ b/metadata/md5-cache/app-emacs/dockerfile-mode-1.7
@@ -0,0 +1,13 @@
+BDEPEND=>=app-editors/emacs-24:*
+DEFINED_PHASES=compile configure install postinst postrm prepare setup unpack
+DESCRIPTION=GNU Emacs mode for handling Dockerfiles
+EAPI=8
+HOMEPAGE=https://github.com/spotify/dockerfile-mode/
+INHERIT=elisp
+KEYWORDS=~amd64 ~x86
+LICENSE=Apache-2.0
+RDEPEND=>=app-editors/emacs-24:*
+SLOT=0
+SRC_URI=https://github.com/spotify/dockerfile-mode/archive/v1.7.tar.gz -> dockerfile-mode-1.7.tar.gz
+_eclasses_=elisp-common	e7aaa047873789f549ea3df2f04b2145	elisp	c1c17e9c24d72d3bd58c611de8116fb6
+_md5_=9a6cf52dde7214f40f038e608c321732
diff --git a/metadata/md5-cache/sci-mathematics/lean-3.43.0 b/metadata/md5-cache/sci-mathematics/lean-3.46.0
index 955c3cdf4046..849c5cb9a084 100644
--- a/metadata/md5-cache/sci-mathematics/lean-3.43.0
+++ b/metadata/md5-cache/sci-mathematics/lean-3.46.0
@@ -10,6 +10,6 @@ KEYWORDS=~amd64 ~x86
 LICENSE=Apache-2.0
 RDEPEND=dev-libs/gmp:=
 SLOT=0/3
-SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.43.0.tar.gz -> lean-3.43.0.tar.gz
+SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.46.0.tar.gz -> lean-3.46.0.tar.gz
 _eclasses_=toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	flag-o-matic	38d6ec96711cea42a5cb1cc723a6e906	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	58ec4e54962bf45d065fb95030701514	xdg-utils	fffb53a53cf17c9c0c998a3c0a590c7e	cmake	44afbf15c35884f7c840470f1cf05d0d	readme.gentoo-r1	b776ad4b42f564c406a95c41ccb42c55
 _md5_=f0d389e88a1a23648dae7905e7812633
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index caa2b14d4b9b..7b6d417740b5 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -2329,7 +2329,7 @@ app-emacs/diminish 0.46_pre20220128: Hiding or abbreviation of the mode line dis
 app-emacs/dircolors 1.0-r2: Provide the same facility of ls --color inside Emacs
 app-emacs/dired-sort-menu 1.26: Sort entries in Dired mode
 app-emacs/distel 4.1.1: Distributed Emacs Lisp for Erlang
-app-emacs/dockerfile-mode 1.6: GNU Emacs mode for handling Dockerfiles
+app-emacs/dockerfile-mode 1.6 1.7: GNU Emacs mode for handling Dockerfiles
 app-emacs/doctest-mode 0.4: An Emacs major mode for editing Python source
 app-emacs/doom-themes 2.1.6_p20220505 2.3.0: Opinionated megapack of modern color-themes for GNU Emacs
 app-emacs/doxymacs 1.8.0-r4: Doxygen editing minor mode
@@ -17091,7 +17091,7 @@ sci-mathematics/gretl 2021d: Regression, econometrics and time-series library
 sci-mathematics/gsl-shell 2.3.0_beta1-r1 2.3.2: Lua interactive shell for sci-libs/gsl
 sci-mathematics/jags 4.2.0 4.3.0: Just Another Gibbs Sampler for Bayesian MCMC simulation
 sci-mathematics/lcalc 2.0.5-r2: Command-line utility and library for L-function computations
-sci-mathematics/lean 3.43.0 3.44.1 3.45.0 3.9999: The Lean Theorem Prover
+sci-mathematics/lean 3.44.1 3.45.0 3.46.0 3.9999: The Lean Theorem Prover
 sci-mathematics/lpsolve 5.5.2.0-r1: Mixed Integer Linear Programming (MILP) solver
 sci-mathematics/lrcalc 1.2 2.1: Littlewood-Richardson Calculator
 sci-mathematics/mathematica 10.3.1-r1 12.1.0 12.1.1-r1 12.2.0 13.0.0 13.0.1 13.1.0: Wolfram Mathematica
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index 5907f9e1d9dd..902694e0c33c 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Mon, 08 Aug 2022 23:01:56 +0000
+Tue, 09 Aug 2022 01:01:56 +0000