2023-07-15 00:31:56 UTC

5 files changed, 26 insertions, 9 deletions

diff --git a/metadata/md5-cache/sci-electronics/nvc-1.10.0 b/metadata/md5-cache/sci-electronics/nvc-1.10.0
new file mode 100644
index 000000000000..abb6175ff521
--- /dev/null
+++ b/metadata/md5-cache/sci-electronics/nvc-1.10.0
@@ -0,0 +1,17 @@
+BDEPEND=dev-libs/check sys-devel/flex sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71-r5 >=sys-devel/libtool-2.4.7
+DEFINED_PHASES=compile configure install prepare setup test unpack
+DEPEND=app-arch/bzip2:= app-arch/zstd:= dev-libs/capstone:= dev-libs/elfutils dev-libs/icu:= dev-libs/libffi:= dev-libs/libxml2:= sys-libs/ncurses:= sys-libs/zlib:= llvm? ( sys-devel/llvm:= ) !!sys-devel/llvm:0
+DESCRIPTION=NVC is a VHDL compiler and simulator
+EAPI=8
+HOMEPAGE=https://www.nickg.me.uk/nvc/ https://github.com/nickg/nvc/
+INHERIT=autotools bash-completion-r1 llvm
+IUSE=debug jit llvm
+KEYWORDS=~amd64 ~x86
+LICENSE=GPL-3+
+RDEPEND=app-arch/bzip2:= app-arch/zstd:= dev-libs/capstone:= dev-libs/elfutils dev-libs/icu:= dev-libs/libffi:= dev-libs/libxml2:= sys-libs/ncurses:= sys-libs/zlib:= llvm? ( sys-devel/llvm:= )
+REQUIRED_USE=jit? ( llvm )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://github.com/nickg/nvc/archive/r1.10.0.tar.gz -> nvc-1.10.0.tar.gz
+_eclasses_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	513c31b3346458ed1f3878b57da6d61c	multilib	c19072c3cd7ac5cb21de013f7e9832e0	libtool	9d3a9a889a6fa62ae794f817c156491b	autotools	6ae9a4347149b19a112caa1182d03bde	bash-completion-r1	f5e7a020fd9c741740756aac61bf75ff	llvm	5b4ee8759b4e9eec5cb48b46975ca56c
+_md5_=79f39bc0fe2c7e1063b4319e174b1736
diff --git a/metadata/md5-cache/sci-electronics/nvc-1.9.2 b/metadata/md5-cache/sci-electronics/nvc-1.9.2
index 221d6acdb873..841d079d4a7d 100644
--- a/metadata/md5-cache/sci-electronics/nvc-1.9.2
+++ b/metadata/md5-cache/sci-electronics/nvc-1.9.2
@@ -1,5 +1,5 @@
 BDEPEND=dev-libs/check sys-devel/flex sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71-r5 >=sys-devel/libtool-2.4.7
-DEFINED_PHASES=configure install prepare setup test unpack
+DEFINED_PHASES=compile configure install prepare setup test unpack
 DEPEND=app-arch/bzip2:= app-arch/zstd:= dev-libs/capstone:= dev-libs/elfutils dev-libs/icu:= dev-libs/libffi:= dev-libs/libxml2:= sys-libs/ncurses:= sys-libs/zlib:= llvm? ( sys-devel/llvm:= ) !!sys-devel/llvm:0
 DESCRIPTION=NVC is a VHDL compiler and simulator
 EAPI=8
@@ -14,4 +14,4 @@ RESTRICT=test
 SLOT=0
 SRC_URI=https://github.com/nickg/nvc/archive/r1.9.2.tar.gz -> nvc-1.9.2.tar.gz
 _eclasses_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	513c31b3346458ed1f3878b57da6d61c	multilib	c19072c3cd7ac5cb21de013f7e9832e0	libtool	9d3a9a889a6fa62ae794f817c156491b	autotools	6ae9a4347149b19a112caa1182d03bde	bash-completion-r1	f5e7a020fd9c741740756aac61bf75ff	llvm	5b4ee8759b4e9eec5cb48b46975ca56c
-_md5_=0b67cfe15e59ff9918fd48bd94ad5ca8
+_md5_=79f39bc0fe2c7e1063b4319e174b1736
diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 b/metadata/md5-cache/sci-mathematics/vampire-4.8
index 57d08440c32f..5aa790e83ec4 100644
--- a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2
+++ b/metadata/md5-cache/sci-mathematics/vampire-4.8
@@ -3,14 +3,14 @@ DEFINED_PHASES=compile configure install prepare test
 DEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= )
 DESCRIPTION=The Vampire Prover, theorem prover for first-order logic
 EAPI=8
-HOMEPAGE=https://vprover.github.io
+HOMEPAGE=https://vprover.github.io/ https://github.com/vprover/vampire/
 INHERIT=flag-o-matic cmake
 IUSE=debug +z3
 KEYWORDS=~amd64 ~x86
 LICENSE=BSD
 RDEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= )
 RESTRICT=!debug? ( test )
-SLOT=0/4.6.1
-SRC_URI=https://github.com/vprover/vampire/archive/v4.6.1.tar.gz -> vampire-4.6.1.tar.gz
+SLOT=0/4.8
+SRC_URI=https://github.com/vprover/vampire/archive/v4.8casc2023.tar.gz -> vampire-4.8-casc2023.tar.gz
 _eclasses_=toolchain-funcs	513c31b3346458ed1f3878b57da6d61c	multilib	c19072c3cd7ac5cb21de013f7e9832e0	flag-o-matic	ad475baa777c9978fa035216c8264a10	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	76050953ad5b70d7e09a6ca55558db92	xdg-utils	baea6080dd821f5562d715887954c9d3	cmake	6c921d868d090cc18e142a396f66f74a
-_md5_=adaabe076f15150cc3940fc31cc19bad
+_md5_=722122d5d42ae4d3fdae420133b7c28b
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index ee103cfd5425..4cb7be8e4ec9 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -15671,7 +15671,7 @@ sci-electronics/librepcb 0.1.6-r1 0.1.7: Free EDA software to develop printed ci
 sci-electronics/magic 8.3.232-r1 8.3.309-r2 8.3.309-r3 8.3.365: The VLSI design CAD tool
 sci-electronics/netgen 1.4.52: LVS tool (layout versus schematic comparison)
 sci-electronics/ngspice 36 40: The Next Generation Spice (Electronic Circuit Simulator)
-sci-electronics/nvc 1.9.2: NVC is a VHDL compiler and simulator
+sci-electronics/nvc 1.9.2 1.10.0: NVC is a VHDL compiler and simulator
 sci-electronics/osqoop 1.2.0_pre20170131: Multi-platform open source software oscilloscope based on Qt
 sci-electronics/pcb 4.2.2 4.3.0: GPL Electronic Design Automation: Printed Circuit Board editor
 sci-electronics/petrify 4.2-r1: Synthesize Petri nets into asynchronous circuits
@@ -16127,7 +16127,7 @@ sci-mathematics/sympow 2.023.6: Symmetric power elliptic curve L-functions
 sci-mathematics/topcom 0.17.8-r3: Computing Triangulations Of Point Configurations and Oriented Matroids
 sci-mathematics/twelf 1.7.1-r2: Implementation of the logical framework LF
 sci-mathematics/unuran 1.8.1 1.9.0: Universal Non-Uniform Random number generator
-sci-mathematics/vampire 4.6.1-r2 4.7-r1: The Vampire Prover, theorem prover for first-order logic
+sci-mathematics/vampire 4.7-r1 4.8: The Vampire Prover, theorem prover for first-order logic
 sci-mathematics/verit 2021.06.2: An open, trustable and efficient SMT-prover
 sci-mathematics/why3 1.4.1-r1 1.5.1 1.6.0: Platform for deductive program verification
 sci-mathematics/why3-for-spark 2021-r1: Platform for deductive program verification
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index b8d10926a46c..9aadc250072d 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Fri, 14 Jul 2023 21:46:52 +0000
+Sat, 15 Jul 2023 00:31:56 +0000