diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-03-27 02:05:42 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-03-27 02:05:42 +0000 |
| commit | ba82815de2958a21eb5b6aa8f88c48bced49dd46 (patch) | |
| tree | 599540bbc70d96937a2784ad8f3bfd6f4ad34f44 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-ba82815de2958a21eb5b6aa8f88c48bced49dd46.tar.gz gentoo-ba82815de2958a21eb5b6aa8f88c48bced49dd46.tar.bz2 gentoo-ba82815de2958a21eb5b6aa8f88c48bced49dd46.zip | |
2022-03-27 02:05:41 UTC
| -rw-r--r-- | metadata/md5-cache/dev-scheme/bigloo-4.4c_p4-r1 (renamed from metadata/md5-cache/dev-scheme/bigloo-4.4c_p4) | 2 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/lean-3.42.1 (renamed from metadata/md5-cache/sci-mathematics/lean-3.40.0) | 2 | ||||
| -rw-r--r-- | metadata/pkg_desc_index | 4 | ||||
| -rw-r--r-- | metadata/timestamp.chk | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/metadata/md5-cache/dev-scheme/bigloo-4.4c_p4 b/metadata/md5-cache/dev-scheme/bigloo-4.4c_p4-r1 index 51b5cec31cbf..3c19583a293a 100644 --- a/metadata/md5-cache/dev-scheme/bigloo-4.4c_p4 +++ b/metadata/md5-cache/dev-scheme/bigloo-4.4c_p4-r1 @@ -13,4 +13,4 @@ REQUIRED_USE=flac? ( alsa ) mp3? ( alsa ) SLOT=0 SRC_URI=ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo-4.4c-4.tar.gz _eclasses_=elisp-common f9c72486dbcb18b633c9d0949211d86e toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b -_md5_=c51ea8f84565f750009d8d427dde3efc +_md5_=4c727f2087c48833a5f7258f19a6e540 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.40.0 b/metadata/md5-cache/sci-mathematics/lean-3.42.1 index 539e1c95935b..0238e053b4e8 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.40.0 +++ b/metadata/md5-cache/sci-mathematics/lean-3.42.1 @@ -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.40.0.tar.gz -> lean-3.40.0.tar.gz +SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.42.1.tar.gz -> lean-3.42.1.tar.gz _eclasses_=toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils fef481272d4a8e136a7d8a0fb1329384 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 3c38df051095289667b6f09ebd0cc149 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 _md5_=1dbb54245f666317800e804dcaa55928 diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index d8b7611d4907..ed091b08344a 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -10870,7 +10870,7 @@ dev-ruby/yard 0.9.26 0.9.27: Documentation generation tool for the Ruby programm dev-ruby/zeitwerk 2.4.2 2.5.1 2.5.2 2.5.3 2.5.4: Efficient and thread-safe code loader for Ruby dev-ruby/zentest 4.12.0: Testing tools: zentest, unit_diff, autotest, multiruby, and Test::Rails dev-scheme/akku 1.1.0: Language package manager for Scheme -dev-scheme/bigloo 4.4c_p4: Practical Scheme Compiler with many extensions +dev-scheme/bigloo 4.4c_p4-r1: Practical Scheme Compiler with many extensions dev-scheme/bytestructures 1.0.10 2.0.1: Structured access to bytevector contents dev-scheme/c-wrapper 0.6.1-r2: Foreign function interface for C and Objective-C libraries dev-scheme/chez 9.5.6-r2: A programming language based on R6RS @@ -16845,7 +16845,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-r1: Command-line utility and library for L-function computations -sci-mathematics/lean 3.39.1 3.40.0 3.41.0 3.42.0 3.9999: The Lean Theorem Prover +sci-mathematics/lean 3.39.1 3.41.0 3.42.0 3.42.1 3.9999: The Lean Theorem Prover sci-mathematics/lpsolve 5.5.2.0: 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: Wolfram Mathematica diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index 6a7184e686b1..54e563c293bd 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Sun, 27 Mar 2022 01:49:36 +0000 +Sun, 27 Mar 2022 02:05:41 +0000 |