summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2024-04-29 19:04:43 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2024-04-29 19:04:43 +0000
commitb3e6ab8830122deeabee57c0b823ed018099d8c5 (patch)
tree960fb051053dbe570d596c7a4d5daf3f48e9ba6f
parentMerge updates from master (diff)
downloadgentoo-b3e6ab8830122deeabee57c0b823ed018099d8c5.tar.gz
gentoo-b3e6ab8830122deeabee57c0b823ed018099d8c5.tar.bz2
gentoo-b3e6ab8830122deeabee57c0b823ed018099d8c5.zip
2024-04-29 19:04:42 UTC
-rw-r--r--metadata/md5-cache/dev-build/melange-0.6.1113
-rw-r--r--metadata/md5-cache/dev-util/bpftool-6.5.715
-rw-r--r--metadata/md5-cache/dev-util/bpftool-6.8.2 (renamed from metadata/md5-cache/dev-util/bpftool-6.6.8)10
-rw-r--r--metadata/md5-cache/net-vpn/6tunnel-0.134
-rw-r--r--metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r116
-rw-r--r--metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r216
-rw-r--r--metadata/md5-cache/sci-mathematics/stp-2.3.3-r310
-rw-r--r--metadata/pkg_desc_index5
-rw-r--r--metadata/timestamp.chk2
9 files changed, 45 insertions, 46 deletions
diff --git a/metadata/md5-cache/dev-build/melange-0.6.11 b/metadata/md5-cache/dev-build/melange-0.6.11
new file mode 100644
index 000000000000..a2db34bbd11e
--- /dev/null
+++ b/metadata/md5-cache/dev-build/melange-0.6.11
@@ -0,0 +1,13 @@
+BDEPEND=>=dev-lang/go-1.20:= app-arch/unzip
+DEFINED_PHASES=compile install pretend setup test unpack
+DESCRIPTION=Build APK packages from source code using declarative pipelines
+EAPI=8
+HOMEPAGE=https://github.com/chainguard-dev/melange/
+INHERIT=check-reqs go-module edo unpacker
+KEYWORDS=~amd64 ~x86
+LICENSE=Apache-2.0
+RESTRICT=test strip
+SLOT=0
+SRC_URI=https://github.com/chainguard-dev/melange/archive/refs/tags/v0.6.11.tar.gz -> melange-0.6.11.tar.gz https://dev.gentoo.org/~xgqt/distfiles/deps/melange-0.6.11-deps.tar.zst
+_eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 go-env 14f8f70fe58c14d7ab44fff15a05ac47 go-module 83fd3ed1657cfc316c93d6a37018290d edo c0eb9cbe6b0bd01fcb4918f12598a4d3 unpacker 7b40f3faa3e2e12f5cf6d36d0fbfcd09
+_md5_=67d00fac7877415caf2ead5f6233ebf7
diff --git a/metadata/md5-cache/dev-util/bpftool-6.5.7 b/metadata/md5-cache/dev-util/bpftool-6.5.7
deleted file mode 100644
index 3bb22ad29d16..000000000000
--- a/metadata/md5-cache/dev-util/bpftool-6.5.7
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=dev-util/patchutils || ( dev-lang/python:3.11 dev-lang/python:3.10 ) app-arch/tar dev-python/docutils
-DEFINED_PHASES=compile install postinst prepare setup unpack
-DEPEND=sys-libs/binutils-libs:= sys-libs/zlib:= virtual/libelf:= caps? ( sys-libs/libcap:= ) >=sys-kernel/linux-headers-5.8
-DESCRIPTION=Tool for inspection and simple manipulation of eBPF programs and maps
-EAPI=8
-HOMEPAGE=https://kernel.org/
-INHERIT=estack linux-info optfeature python-any-r1 bash-completion-r1 toolchain-funcs
-IUSE=caps
-KEYWORDS=amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~x86
-LICENSE=GPL-2
-RDEPEND=sys-libs/binutils-libs:= sys-libs/zlib:= virtual/libelf:= caps? ( sys-libs/libcap:= )
-SLOT=0
-SRC_URI=https://www.kernel.org/pub/linux/kernel/v6.x/patch-6.5.7.xz https://www.kernel.org/pub/linux/kernel/v6.x/linux-6.5.tar.xz
-_eclasses_=estack c61c368a76fdf3a82fdf8dbaebea3804 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 linux-info 7ca3057b277f1e5978947b4cc289ce62 optfeature 222cb475c5a4f7ae7cfb0bf510a6fe54 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 a1229a86bd0db058e474a2d7d9191cca python-any-r1 f5169813d1619761b459800587005fd2 bash-completion-r1 f5e7a020fd9c741740756aac61bf75ff
-_md5_=bc721898dac9fdd63231778b5aed889d
diff --git a/metadata/md5-cache/dev-util/bpftool-6.6.8 b/metadata/md5-cache/dev-util/bpftool-6.8.2
index f8dafe094913..4b58e8aec78e 100644
--- a/metadata/md5-cache/dev-util/bpftool-6.6.8
+++ b/metadata/md5-cache/dev-util/bpftool-6.8.2
@@ -1,15 +1,15 @@
BDEPEND=dev-util/patchutils || ( dev-lang/python:3.12 dev-lang/python:3.11 dev-lang/python:3.10 ) app-arch/tar dev-python/docutils
DEFINED_PHASES=compile install postinst prepare setup unpack
-DEPEND=sys-libs/binutils-libs:= sys-libs/zlib:= virtual/libelf:= caps? ( sys-libs/libcap:= ) >=sys-kernel/linux-headers-5.8
+DEPEND=sys-libs/binutils-libs:= sys-libs/zlib:= virtual/libelf:= caps? ( sys-libs/libcap:= ) llvm? ( sys-devel/llvm:= ) >=sys-kernel/linux-headers-5.8
DESCRIPTION=Tool for inspection and simple manipulation of eBPF programs and maps
EAPI=8
HOMEPAGE=https://kernel.org/
INHERIT=estack linux-info optfeature python-any-r1 bash-completion-r1 toolchain-funcs
-IUSE=caps
+IUSE=caps +llvm
KEYWORDS=~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~x86
LICENSE=GPL-2
-RDEPEND=sys-libs/binutils-libs:= sys-libs/zlib:= virtual/libelf:= caps? ( sys-libs/libcap:= )
+RDEPEND=sys-libs/binutils-libs:= sys-libs/zlib:= virtual/libelf:= caps? ( sys-libs/libcap:= ) llvm? ( sys-devel/llvm:= )
SLOT=0
-SRC_URI=https://www.kernel.org/pub/linux/kernel/v6.x/patch-6.6.8.xz https://www.kernel.org/pub/linux/kernel/v6.x/linux-6.6.tar.xz
+SRC_URI=https://www.kernel.org/pub/linux/kernel/v6.x/patch-6.8.2.xz https://www.kernel.org/pub/linux/kernel/v6.x/linux-6.8.tar.xz
_eclasses_=estack c61c368a76fdf3a82fdf8dbaebea3804 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 linux-info 7ca3057b277f1e5978947b4cc289ce62 optfeature 222cb475c5a4f7ae7cfb0bf510a6fe54 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 a1229a86bd0db058e474a2d7d9191cca python-any-r1 f5169813d1619761b459800587005fd2 bash-completion-r1 f5e7a020fd9c741740756aac61bf75ff
-_md5_=8a114890ab57282fc199ba6d5c0295f5
+_md5_=8c8743ad600b30991ff079ba5c664f57
diff --git a/metadata/md5-cache/net-vpn/6tunnel-0.13 b/metadata/md5-cache/net-vpn/6tunnel-0.13
index eea391bc6c96..1d2bcf235430 100644
--- a/metadata/md5-cache/net-vpn/6tunnel-0.13
+++ b/metadata/md5-cache/net-vpn/6tunnel-0.13
@@ -1,4 +1,4 @@
-BDEPEND=test? ( || ( dev-lang/python:3.11 dev-lang/python:3.10 ) )
+BDEPEND=test? ( || ( dev-lang/python:3.12 dev-lang/python:3.11 dev-lang/python:3.10 ) )
DEFINED_PHASES=setup
DESCRIPTION=TCP proxy for applications that don't speak IPv6
EAPI=7
@@ -11,4 +11,4 @@ RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/wojtekka/6tunnel/releases/download/0.13/6tunnel-0.13.tar.gz
_eclasses_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca python-any-r1 f5169813d1619761b459800587005fd2
-_md5_=08756a0f180064627f16b1c658e1add5
+_md5_=be63935171565ad6f3d3b33a3fea8e79
diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1
deleted file mode 100644
index 28e429fe3eef..000000000000
--- a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=emacs? ( >=app-editors/emacs-23.1:* app-emacs/flycheck app-emacs/proofgeneral ) python_targets_python3_10? ( dev-lang/python:3.10 ) python_targets_python3_11? ( dev-lang/python:3.11 ) >=dev-python/gpep517-15[python_targets_python3_10(-)?,python_targets_python3_11(-)?] >=dev-python/setuptools-69.0.3[python_targets_python3_10(-)?,python_targets_python3_11(-)?]
-DEFINED_PHASES=compile configure install postinst postrm prepare test
-DEPEND=dev-python/beautifulsoup4[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/docutils[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/dominate[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/myst-parser[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pygments[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/sphinx[python_targets_python3_10(-)?,python_targets_python3_11(-)?] sci-mathematics/coq-serapi
-DESCRIPTION=Toolkit for literate programming in Coq
-EAPI=8
-HOMEPAGE=https://github.com/cpitclaudel/alectryon/
-INHERIT=elisp-common distutils-r1
-IUSE=doc emacs python_targets_python3_10 python_targets_python3_11
-KEYWORDS=~amd64
-LICENSE=MIT
-RDEPEND=dev-python/beautifulsoup4[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/docutils[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/dominate[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/myst-parser[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/pygments[python_targets_python3_10(-)?,python_targets_python3_11(-)?] dev-python/sphinx[python_targets_python3_10(-)?,python_targets_python3_11(-)?] sci-mathematics/coq-serapi python_targets_python3_10? ( dev-lang/python:3.10 ) python_targets_python3_11? ( dev-lang/python:3.11 )
-REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 )
-SLOT=0
-SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz
-_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 a9e13d91cb9541a054827cb1d957a660
-_md5_=2719a82a6b6dab21e7ac6f0b4bb05675
diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2
new file mode 100644
index 000000000000..d478b26d1572
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2
@@ -0,0 +1,16 @@
+BDEPEND=emacs? ( >=app-editors/emacs-23.1:* app-emacs/flycheck app-emacs/proofgeneral ) python_targets_python3_10? ( dev-lang/python:3.10 ) python_targets_python3_11? ( dev-lang/python:3.11 ) python_targets_python3_12? ( dev-lang/python:3.12 ) >=dev-python/gpep517-15[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] >=dev-python/setuptools-69.0.3[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?]
+DEFINED_PHASES=compile configure install postinst postrm prepare test
+DEPEND=dev-python/beautifulsoup4[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/docutils[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/dominate[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/myst-parser[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/pygments[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/sphinx[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] sci-mathematics/coq-serapi
+DESCRIPTION=Toolkit for literate programming in Coq
+EAPI=8
+HOMEPAGE=https://github.com/cpitclaudel/alectryon/
+INHERIT=elisp-common distutils-r1
+IUSE=doc emacs python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
+KEYWORDS=~amd64
+LICENSE=MIT
+RDEPEND=dev-python/beautifulsoup4[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/docutils[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/dominate[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/myst-parser[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/pygments[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] dev-python/sphinx[python_targets_python3_10(-)?,python_targets_python3_11(-)?,python_targets_python3_12(-)?] sci-mathematics/coq-serapi python_targets_python3_10? ( dev-lang/python:3.10 ) python_targets_python3_11? ( dev-lang/python:3.11 ) python_targets_python3_12? ( dev-lang/python:3.12 )
+REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 )
+SLOT=0
+SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 a9e13d91cb9541a054827cb1d957a660
+_md5_=27c30bbe271824190f5a93312f0ef095
diff --git a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3
index e3f1a278dc57..033f6dbf9e6e 100644
--- a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3
+++ b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3
@@ -1,17 +1,17 @@
BDEPEND=sys-apps/help2man test? ( dev-python/lit ) app-alternatives/ninja >=dev-build/cmake-3.20.5
DEFINED_PHASES=compile configure install prepare setup test unpack
-DEPEND=dev-libs/boost:= sci-mathematics/minisat:= sys-libs/zlib:= cryptominisat? ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= ) python? ( python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) )
+DEPEND=dev-libs/boost:= sci-mathematics/minisat:= sys-libs/zlib:= cryptominisat? ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= ) python? ( python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) )
DESCRIPTION=Simple Theorem Prover, an efficient SMT solver for bitvectors
EAPI=8
HOMEPAGE=https://stp.github.io/ https://github.com/stp/stp/
INHERIT=flag-o-matic python-single-r1 cmake
-IUSE=cryptominisat debug +python test python_single_target_python3_10 python_single_target_python3_11
+IUSE=cryptominisat debug +python test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12
KEYWORDS=~amd64 ~x86
LICENSE=GPL-2+ MIT
-RDEPEND=dev-libs/boost:= sci-mathematics/minisat:= sys-libs/zlib:= cryptominisat? ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= ) python? ( python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) )
-REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target_python3_11 ) )
+RDEPEND=dev-libs/boost:= sci-mathematics/minisat:= sys-libs/zlib:= cryptominisat? ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= ) python? ( python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) )
+REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 ) )
RESTRICT=!test? ( test )
SLOT=0/2.3.3
SRC_URI=https://github.com/stp/stp/archive/2.3.3.tar.gz -> stp-2.3.3.tar.gz test? ( https://github.com/stp/OutputCheck/archive/119fe41a83bc455a24a11ecc9b78e7b13fcfcc45.tar.gz -> stp-2.3.3_OutputCheck.tar.gz https://github.com/stp/googletest/archive/2ad076167a676e3ed62f90b754b30fac5caa1f88.tar.gz -> stp-2.3.3_gtest.tar.gz )
_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 a1229a86bd0db058e474a2d7d9191cca python-single-r1 75118e916668a74c660a13b0ecb22562 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
-_md5_=9c4295d738ae3595f718058f0880b4df
+_md5_=778362d3c7b4197b7650eff505e5521d
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 4253d209a945..944fc33446b9 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -3808,6 +3808,7 @@ dev-build/kbuild 0.1.9998.3499-r4 0.1.9998.3592 9999: A makefile framework for w
dev-build/libtool 2.4.7-r4 9999: A shared library tool for developers
dev-build/mage 1.11.0 1.13.0 1.15.0: make/rake like tool using go
dev-build/make 4.4.1-r1 9999: Standard tool to compile source trees
+dev-build/melange 0.6.11: Build APK packages from source code using declarative pipelines
dev-build/meson 1.1.1 1.2.3 1.3.0-r2 1.3.1-r1 1.3.2 1.4.0 1.4.0-r1 9999: Open source build system
dev-build/meson-format-array 0: Format shell expressions into a meson array
dev-build/muon 0.2.0-r2: A meson-compatible build system
@@ -10666,7 +10667,7 @@ dev-util/bitrise 1.24.0: Run your Bitrise.io automations on any Mac or Linux mac
dev-util/bloaty 1.1-r1 9999: A size profiler for binaries
dev-util/blueprint-compiler 0.10.0 0.12.0: Compiler for Blueprint, a markup language for GTK user interfaces
dev-util/bootconfig 5.18: Bootconfig tools for kernel command line to support key-value
-dev-util/bpftool 6.5.7 6.6.8 6.7.6-r1: Tool for inspection and simple manipulation of eBPF programs and maps
+dev-util/bpftool 6.7.6-r1 6.8.2: Tool for inspection and simple manipulation of eBPF programs and maps
dev-util/bpftop 0.2.3: Process monitor for BPF programs
dev-util/breakpad 2022.07.12 2023.01.27: implement a crash-reporting system.
dev-util/bsdiff 4.3-r4: bsdiff: Binary Differencer using a suffix alg
@@ -16321,7 +16322,7 @@ sci-libs/xylib 1.6 1.6-r1: Experimental x-y data reading library
sci-mathematics/4ti2 1.6.7-r1: Software package for algebraic, geometric and combinatorial problems
sci-mathematics/abc 0_p20230313 9999: System for sequential logic synthesis and formal verification
sci-mathematics/acl2 8.5-r2 8.5_p20240307: Industrial strength theorem prover, logic and programming language
-sci-mathematics/alectryon 1.4.0-r1: Toolkit for literate programming in Coq
+sci-mathematics/alectryon 1.4.0-r2: Toolkit for literate programming in Coq
sci-mathematics/alt-ergo 2.4.3 9999: Automatic theorem prover
sci-mathematics/arb 2.23.0: C library for arbitrary-precision interval arithmetic
sci-mathematics/bertini 1.4 1.6: Software for Numerical Algebraic Geometry
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index 599fb7bdbbd6..2fbf626b62d6 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Mon, 29 Apr 2024 18:49:15 +0000
+Mon, 29 Apr 2024 19:04:43 +0000