gentoo auto-resync : 20:06:2023 - 01:14:49

6 files changed, 0 insertions, 241 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 04dcc4bc2074..0077eadefa73 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index fd3274b52c1e..6e9ff1a437ef 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,8 +1,4 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
-DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990
-DIST boogie-2.15.9.tar.gz 1542068 BLAKE2B eb4802a628b3b96b02dd4736e6958f3b4362142f948e675e0f13c2270d062e42f1e441ddee427340e974cf6dbb3b6700b750318570e830ba0541c6737096991e SHA512 93eab4ba7f746c78c054f6ee8355c408e4435a836fc45def5485c973e4aec50e419412ecd376ff412632cb466384ad9df90bb368af4dc5e23cd7e207e47b5b1f
 DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5 SHA512 50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875
-EBUILD boogie-2.15.8-r4.ebuild 2162 BLAKE2B 47c62cb3cb42c1d3fc54d9862cf59d5e745592c97eda31ca7d7f7c431838b50ddd34aa7ab569db1d811a4bef0b87b2cc03f44e94f2672adf299cb4b94ae06c83 SHA512 9c02b41e1e1b9465866d0ae450ae577e1e6b45d4aae2525e41fa047fc223caee112203bbe0851b5c74016114c5f9976c1b4c3c488408dda760ebe994a7cc9b77
-EBUILD boogie-2.15.9.ebuild 2191 BLAKE2B 7167928f0a65d0239cd95cc0f3b3957dd52c4ef3a63597474f1bdc9a09d743376689db39d3ee581d99858fef39aa860c70b74d7a945a2e4f6531a726252f2b31 SHA512 8f6db106f5af25fedd460dd939cd9053870874338e796ccebb9bfb057782d1e7dab605748da1f858a30322c1ea9946aaa02d67e9c34fb430997083b926b7ec13
 EBUILD boogie-2.16.0.ebuild 2191 BLAKE2B 7167928f0a65d0239cd95cc0f3b3957dd52c4ef3a63597474f1bdc9a09d743376689db39d3ee581d99858fef39aa860c70b74d7a945a2e4f6531a726252f2b31 SHA512 8f6db106f5af25fedd460dd939cd9053870874338e796ccebb9bfb057782d1e7dab605748da1f858a30322c1ea9946aaa02d67e9c34fb430997083b926b7ec13
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-2.15.8-r4.ebuild b/dev-lang/boogie/boogie-2.15.8-r4.ebuild
deleted file mode 100644
index ce1ace397460..000000000000
--- a/dev-lang/boogie/boogie-2.15.8-r4.ebuild
+++ /dev/null
@@ -1,93 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_COMPAT=6.0
-
-inherit edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/"
-SRC_URI="
-	https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz
-	https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz
-"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="debug test"
-RESTRICT="!test? ( test )"
-
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-RDEPEND="
-	${BDEPEND}
-	sci-mathematics/z3
-"
-BDEPEND+="
-	test? (
-		dev-python/lit
-		dev-python/OutputCheck
-	)
-"
-
-# Generated by dotnet.
-QA_PREBUILT="/usr/share/boogie/BoogieDriver"
-
-src_prepare() {
-	export DOTNET_CLI_TELEMETRY_OPTOUT=1
-	export DOTNET_NOLOGO=1
-	export DOTNET_CONFIGURATION=$(usex debug Debug Release)
-	export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-	export NUGET_PACKAGES="${S}"/Source/nuget_packages
-
-	default
-
-	# Remove bad tests.
-	local bad_tests=(
-		civl/inductive-sequentialization/BroadcastConsensus.bpl
-		livevars/bla1.bpl
-		prover/cvc5.bpl
-		test0/MaxKeepGoingSplits.bpl
-		test15/CaptureInlineUnroll.bpl
-		test15/CaptureState.bpl
-		test15/CommonVariablesPruning.bpl
-	)
-	local bad_test
-	for bad_test in ${bad_tests[@]} ; do
-		rm "${S}"/Test/${bad_test} || die
-	done
-
-	# Update the boogieBinary variable.
-	sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
-		-i "${S}"/Test/lit.site.cfg || die "failed to update lit.site.cfg"
-}
-
-src_configure() {
-	edob dotnet restore "${S}"/Source \
-		--source "${NUGET_PACKAGES}" -p:TargetFramework=net${DOTNET_COMPAT}
-}
-
-src_compile() {
-	local myopts=(
-		--configuration ${DOTNET_CONFIGURATION}
-		--no-restore
-		--no-self-contained
-		--nologo
-		--output "${DOTNET_OUTPUT}"
-		-consoleLoggerParameters:ErrorsOnly
-		-maxCpuCount:$(makeopts_jobs)
-	)
-	edob dotnet build ${myopts[@]} "${S}"/Source
-}
-
-src_test() {
-	lit "${S}"/Test || die "tests failed"
-}
-
-src_install() {
-	mkdir -p "${ED}"/usr/share/ || die
-	cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
-	dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
-}
diff --git a/dev-lang/boogie/boogie-2.15.9.ebuild b/dev-lang/boogie/boogie-2.15.9.ebuild
deleted file mode 100644
index f4b0b0eea17f..000000000000
--- a/dev-lang/boogie/boogie-2.15.9.ebuild
+++ /dev/null
@@ -1,94 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_COMPAT=6.0
-
-inherit edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/"
-SRC_URI="
-	https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-		-> ${P}.tar.gz
-	https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz
-"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="debug test"
-RESTRICT="!test? ( test )"
-
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-RDEPEND="
-	${BDEPEND}
-	sci-mathematics/z3
-"
-BDEPEND+="
-	test? (
-		dev-python/lit
-		dev-python/OutputCheck
-	)
-"
-
-# Generated by dotnet.
-QA_PREBUILT="/usr/share/boogie/BoogieDriver"
-
-src_prepare() {
-	export DOTNET_CLI_TELEMETRY_OPTOUT=1
-	export DOTNET_NOLOGO=1
-	export DOTNET_CONFIGURATION=$(usex debug Debug Release)
-	export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-	export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages
-
-	default
-
-	# Remove bad tests.
-	local bad_tests=(
-		civl/inductive-sequentialization/BroadcastConsensus.bpl
-		livevars/bla1.bpl
-		prover/cvc5.bpl
-		test0/MaxKeepGoingSplits.bpl
-		test15/CaptureInlineUnroll.bpl
-		test15/CaptureState.bpl
-		test15/CommonVariablesPruning.bpl
-	)
-	local bad_test
-	for bad_test in ${bad_tests[@]} ; do
-		rm "${S}"/Test/${bad_test} || die
-	done
-
-	# Update the boogieBinary variable.
-	sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \
-		-i "${S}"/Test/lit.site.cfg || die "failed to update lit.site.cfg"
-}
-
-src_configure() {
-	edob dotnet restore "${S}"/Source \
-		--source "${NUGET_PACKAGES}" -p:TargetFramework=net${DOTNET_COMPAT}
-}
-
-src_compile() {
-	local myopts=(
-		--configuration ${DOTNET_CONFIGURATION}
-		--no-restore
-		--no-self-contained
-		--nologo
-		--output "${DOTNET_OUTPUT}"
-		-consoleLoggerParameters:ErrorsOnly
-		-maxCpuCount:$(makeopts_jobs)
-	)
-	edob dotnet build ${myopts[@]} "${S}"/Source
-}
-
-src_test() {
-	lit "${S}"/Test || die "tests failed"
-}
-
-src_install() {
-	mkdir -p "${ED}"/usr/share/ || die
-	cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
-	dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
-}
diff --git a/dev-lang/vala/Manifest b/dev-lang/vala/Manifest
index 12e89dd5d5e3..4729f4e3f96c 100644
--- a/dev-lang/vala/Manifest
+++ b/dev-lang/vala/Manifest
@@ -1,7 +1,5 @@
-DIST vala-0.56.6.tar.xz 3989404 BLAKE2B eae35fb685f546cee902a84a9a0ea15fa1c3596a94c1def93746512e32e22b65ad80f788a7899c5f69f5447906880318ba2b78dc582a9fdb7cf70cde88404aa3 SHA512 ea9c25b96f52ed1067c2a8787b15c44a088e19907880ee6b32bb0e3b544a078bd342e3aef9afefb8daec6f6b4fce25a9290a278dcfc293308327153543acb9bc
 DIST vala-0.56.7.tar.xz 3992100 BLAKE2B 09804dba1dcaaef2af2621f7ee6c5c69d0bb06c1f83162df4379f438c9a8eab94e9496b1be1dc9ca25e796caadf38342921884e3460c00d3693617b94a61b013 SHA512 f524ac7acee988aae895a9c850904b5a6b5462ad3b498fa4305cea9b97e3e966b0ace341ce0ba9ba2466e6d22a1fcd4c657600c5d838d80cc0ac75be8e6d3185
 DIST vala-0.56.8.tar.xz 3994328 BLAKE2B 4d68b102838a854b870865c6223dfb6cf56741db2cf918d393a4c279cc63a5e7af3464d256ef9a7c90eb5a8773812613315815c64a1b11e5b3fce86ac52278b6 SHA512 152a7378c42602296c5797d0425e51c2f9d2c65449f035158ef7f8dbf48f3a6a09e7c9028d196c967d8a9dfcdbd5f5deaa09ffcde5e2a335872e9740cd79ba41
-EBUILD vala-0.56.6.ebuild 999 BLAKE2B 4a53efef87d29147dda03ac4f8e0fe1daefdf1c716b6c2112070f9b617ba6b85341678cc1258583a34bab49bed3773812c6ad835686bab7ca8385e11a6bd090b SHA512 cec6905a1b4967d3c7a3dd1c784b89393fa32e8473b0c123ab69a189882563c4489c6495db9fdeffdac09ab238dd6b57c90e2029f23ac3d87c6abeddd92ca807
 EBUILD vala-0.56.7.ebuild 999 BLAKE2B 4a53efef87d29147dda03ac4f8e0fe1daefdf1c716b6c2112070f9b617ba6b85341678cc1258583a34bab49bed3773812c6ad835686bab7ca8385e11a6bd090b SHA512 cec6905a1b4967d3c7a3dd1c784b89393fa32e8473b0c123ab69a189882563c4489c6495db9fdeffdac09ab238dd6b57c90e2029f23ac3d87c6abeddd92ca807
 EBUILD vala-0.56.8.ebuild 1006 BLAKE2B 4ac9f323be68e3f2c12345912e0b17e8cb953388dbbd66d327ec30a94cc9e440af99bcf3afcd539f945198749ac43fdb2e763c8c2d73513a657951ca671ab148 SHA512 defb58a986337f7c80b1e23374a6bd47293cbabf27d381941a0e53e316705947a66f252ebddc76eb533780dec8540e3a7f17de53d1b2969dfb692f7382b36b4d
 MISC metadata.xml 441 BLAKE2B a67ac153219c809b992ad569958248e09fe402e33526f2c9a8e5ef4908a5496a0018894605f2d649e191bb84db59294526bb14a06e59f4cfca335dcbf18e15f8 SHA512 97774503c4e5cbce834f11865cea98e45b244566373d8a7efca73d18346d425b49a3b96cda02a61484a8c906d9f27d735c2a9899701b95d0a5f62b9df12365f9
diff --git a/dev-lang/vala/vala-0.56.6.ebuild b/dev-lang/vala/vala-0.56.6.ebuild
deleted file mode 100644
index 30f097c1a007..000000000000
--- a/dev-lang/vala/vala-0.56.6.ebuild
+++ /dev/null
@@ -1,48 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit gnome2
-
-DESCRIPTION="Compiler for the GObject type system"
-HOMEPAGE="https://wiki.gnome.org/Projects/Vala https://gitlab.gnome.org/GNOME/vala"
-
-LICENSE="LGPL-2.1+"
-SLOT="0.56"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~mips ppc ppc64 ~riscv ~s390 sparc x86 ~x86-linux"
-IUSE="test valadoc"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-	>=dev-libs/glib-2.48.0:2
-	>=dev-libs/vala-common-${PV}
-	valadoc? ( >=media-gfx/graphviz-2.16 )
-"
-DEPEND="${RDEPEND}
-	test? (
-		dev-libs/dbus-glib
-		>=dev-libs/glib-2.26:2
-		dev-libs/gobject-introspection
-	)
-"
-BDEPEND="
-	dev-libs/libxslt
-	sys-devel/flex
-	virtual/pkgconfig
-	app-alternatives/yacc
-"
-
-src_configure() {
-	# weasyprint enables generation of PDF from HTML
-	gnome2_src_configure \
-		--disable-unversioned \
-		$(use_enable valadoc) \
-		VALAC=: \
-		WEASYPRINT=:
-}
-
-src_install() {
-	default
-	find "${D}" -name "*.la" -delete || die
-}