2025-08-01 17:40:27+00:00

author: mirror@stealer.net <mirror@stealer.net> 2025-08-01 18:00:24 +0000
committer: mirror@stealer.net <mirror@stealer.net> 2025-08-01 18:00:24 +0000
commit: 8e6dbc5006c565025e259ba9221cdafd3e7df52b (patch)
tree: 7117154ef2a724a17800ffbd9d5e72df9d06d886
parent: 3461f81ecc725099745a214f77b111e7734a779d (diff)
49 files changed, 326 insertions, 182 deletions
diff --git a/Manifest b/Manifest
index 84fd8e4feb51d..4b9ace9513a4d 100644
--- a/Manifest
+++ b/Manifest
@@ -1,23 +1,23 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA512
 
-MANIFEST Manifest.files.gz 30429 BLAKE2B 10c6e55e9d0c74d9420db85d59ca62ef61fbf073951aa3a91f4d30056ae1af84d47e91cdf0df02894ec1273ab8ca4b0d2eecd3f7d7686880881c2c641de67082 SHA512 e368f030e3547ed79e33e221377b5771f2f6cfe0e0d329b449cbae86164b9136d337db1ae71d3d2ad2c5630d08a534d32717b275e007d425c2aa5dd248df1d8a
-TIMESTAMP 2025-08-01T17:10:35Z
+MANIFEST Manifest.files.gz 30434 BLAKE2B d8e60b962c7945b459f99c97a181eec6b14d7ef2bf5b62f4358f5a1652968f19f11cfed2c4d9276817c1fbcfe3a831fbf626c5b87b36f6dff5b577abae99e447 SHA512 44ca9522dbfff0b86cdfc28cc3e6163032545a76563e5301846bdeab33b9d3360d49bad07c277b412a063df02c8c7b9e21e61bf581b9cc5855eafd3aa5c78465
+TIMESTAMP 2025-08-01T17:40:33Z
 -----BEGIN PGP SIGNATURE-----
 
-iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmiM9QtfFIAAAAAALgAo
+iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmiM/BFfFIAAAAAALgAo
 aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUx
 RDZBQkI2M0JGQ0ZCNEJBMDJGREYxQ0VDNTkwRUVBQzkxODkyNTAACgkQ7FkO6skY
-klA5eQ/8CE8MA7BenbRCcgJzPWsUT0XE432Wzp1hzckoLwYD1VBkqn5jPVcLnsPY
-HRr0xbW5eEBsDKis3cm6fLWR0/PeiGNuf1UnXmcbofTPkdqemaX+V4CyDYwiZDKc
-RtUg1KOYLW9d0k2VZlVBQcLbW0pMMiyIp2xLMs/YnSZAPEnM3A3lFUKnfVbqj+iD
-kyLoeJEujd/SOFmEK5thmp15iDQ7Jp9W55IOGUEhCCgGgjKtnztZ6WmmU3sP0L6T
-m3ChGsToOhzwsPUaJpMLjPwsE2wCk6K87k/7MSH19ehipm8Jb8vcYx9MXKaUHysk
-nOA3CY2MVy4J8UINTBMsMcZaclTF0zZUU/u4oKatyK/s3CgtdqAd57NsUlkOEHJG
-WI08J0TZsRBr3NTc1U8ROWl/pcpSKXzJz0/Mel9bxlH1leQMtJ5ByQEO/2enYGki
-gqWqYGtW9Zjun9K/2Ij2i2QfzTNucPIKQ1czS4ZKu5/fYDKT8jEK3/flcPPgNshq
-xIx8uBWAelzzramSJvgTTrtfUvZ970xfsk4tA70H5qd+trbKMap4nlB/9oPC5Pr8
-tW7RY7AX0TrWyTRjmEJQ8jVT5XLxZuyOrQHxlOlWcKdbGatXaChtKtzOMYdYFP2T
-Z/4rjU8z+PEraA1F6A14bDVlSTmIS6+REQq9tVZz8MHZ3wsrnWs=
-=1tej
+klDqBBAAqUxSfg1plRrtqRNVNAuc/Lh43TG+DAvsnSRN94sMyznOKAW9G5Avhwv8
+cL8Kh9hTc4qXSQehY+hG08DDo0/4qTb1obhWNtVbMDSBDIdSwwai2U7rNz6kwE3s
+sFsUwfV7zjeHLIMZcpD5blNVlPJslgN/7M6wlZ+wv06sYRekeanOmYE+D7B+1z4x
+EM4dKJRoygOtQNcfxgw16EkEOtem3WAazK+RgPK8fICORPFy3+hp2oLN5dg7xO6R
+2l6SzDWtPicJfo1sYDkrj+LKbk6JSg2MU8Um+5yuis4Tofv201jiWoyUa01l5XMd
+9g3Bxedg72voi39ktPiX+qKfjKSLDZxaTIW/AAlQ5t53U5zTiEiPb9pO1b5KUuim
+OYFAIKsfavSxN14u45XG8VdeYcHnsCUOdCrllXCxWAzCM3SwbtYBepYgSyTgiBra
+tDGVXYL282r61lHxa+fdgnevRFHZ6MfUwyKwwBOr/5pg7hhLfDNupmO02cxW9B4x
+PC9HaD9VBv+DAMq4E7HM8DzSGOIBQeqImjBMc5aoEhy1Dr3tl6GXQLpjvKRN/sZD
+4A1Q5ztdz7IZro5W/JufEu26Gb9gzyfyDREGMdDtjeeyQ3TzpEwkSIf9GeGdCD10
+eDlQT7AiD8sEMbZy6BHWDtfRsEj35a3ftUw/55qCRivQ+Xyy7hE=
+=n3o2
 -----END PGP SIGNATURE-----
diff --git a/Manifest.files.gz b/Manifest.files.gz
index 26d036a44b485..9e5b7dc9432d1 100644
--- a/Manifest.files.gz
+++ b/Manifest.files.gz
diff --git a/dev-dotnet/Manifest.gz b/dev-dotnet/Manifest.gz
index 720b3f146194f..0887d80f55d96 100644
--- a/dev-dotnet/Manifest.gz
+++ b/dev-dotnet/Manifest.gz
diff --git a/dev-dotnet/coco/Manifest b/dev-dotnet/coco/Manifest
index 867621c49c43e..2cd190daf28a9 100644
--- a/dev-dotnet/coco/Manifest
+++ b/dev-dotnet/coco/Manifest
@@ -1,6 +1,6 @@
 AUX coco-2014.12.24-Coco-csproj-net9.patch 375 BLAKE2B 64ddfcd523db8b881fc054a6a0c0cd8e4769e0fcb7d687b5ecc19c3f12d1b4d643bf10476e3bd9c7afc6653ef99f572bd8c87b538f535d7ef1946a0efbf916eb SHA512 883138813fccf3366e0ed7e54c608d98446c25102a6b0c65538a6e8ffded73f565e2940ee13e1539e73d089686996eb7fcd0b725fd06f61c692a725f0b926a1e
-AUX coco-2014.12.24-Coco-csproj.patch 375 BLAKE2B 1acdf15002c0ca2aff84731c5fbc124acd751c842498a1e755dc14bbe5a95146c0675cf1fb2a7af6db7f97e31aca42c733ca05f8c7173c04eda6390658b3e561 SHA512 0879c975c30b555c150128fdc9aa51b2210af2fa6512097b4dd2a4352d1736239baa02116e554c888145c3856e302bcb56fb3643cd3508b8625f9f47f738f9e9
 DIST coco-2014.12.24.tar.gz 37670 BLAKE2B acd2299e3452d4dac495a0a7f897694791b4abcc0dd7c243771fe8c7084cd9909110c655788844e11fbb576bd95e3596cb890c0ec930c3e4587fd3313082b5cb SHA512 d3b5af1b73b233a8c4b4572db8d65b1c1ffec36e455e4d5fadf1002125433551c833b9574ae03edbe2cd3978fedef41c85667fce82ff2d6ee155c16f778f970e
-EBUILD coco-2014.12.24-r3.ebuild 746 BLAKE2B 836d7f37ff0ea533ec57950bbe7336e069a6e934fdcd7f972de38523664fea7a287b65b711d279ca21b1274db97b88c55d2df74abdc3dc753bc15125e2d227f8 SHA512 6a932207969e11c17645930e6172ba05b7571b87cb0f59aea73b0c11bc5fc2befcb3db06ba52af8b4d28d1693750c7dfb3268d3d29919c6cce6044109199e73b
+DIST coco-2014.12.25.snapshot.gh.tar.gz 37724 BLAKE2B ba399980bfdc7772371f83c1913e2a9188b9d85c4db5c079dc6897b4503f994416b0da829c7dffc2fb295688b1607e468b281fd02c32a824ad878825daea859f SHA512 e8e1985f0d044a9b985c04e82e512a35692a7bb83d3691f806727ddc791908e25f2f4a8da52f0213e9c437ffc14cae89b2bb0e86769e1f4d0d73a83973fbe8d4
 EBUILD coco-2014.12.24-r4.ebuild 729 BLAKE2B 2f0dcebb626956764791d2e81dd4349b0ada8d0ac881450ee60d00e3e8742191ac8805623281eb52ea5485aa1a3e81cdf9ca63cc640ef378f5028e66df985ba0 SHA512 17ea71b7910476db0ff06c871d4d438bef24e0d81c5c3d6c36f662b277bc3f65e7d7d1024284aed2f549adfc0b2be3591468a9a01b102187ab529735229c0e98
+EBUILD coco-2014.12.25.ebuild 951 BLAKE2B f8dcde4d2564f9492f9bec50069375a10476cf29c58c2d45b08614b4a120201a4dd44a13663f204a98af63227a2aa5cae07900afb740c3124c4887e99a722b9d SHA512 d0b1f55bd5c16f4c067b98dead9f318f19de289908ad619ea471e9935e6d9ef25b23b3d24c2b6ddf8f6a85316a3877ed654a9888c3e3cd4b1128fde13410a520
 MISC metadata.xml 413 BLAKE2B b2aa9bf31ee00f8e566e236cf74bcb8f66ffba5e17f2d6d59cea01508e1dbdea6096c68af3aa0342035dd173987a7b2466d7ba78bf3ebb92121f026581c95c60 SHA512 465c0da3ea75035edba3f11725dad039b397dcce3e2fb66afcd52f585ed977500af1b2ee0e031ab815ce68ad097d8a4b4ae9a5d26087ec8316f704efd0463a88
diff --git a/dev-dotnet/coco/coco-2014.12.24-r3.ebuild b/dev-dotnet/coco/coco-2014.12.24-r3.ebuild
deleted file mode 100644
index 503994a56dd3a..0000000000000
--- a/dev-dotnet/coco/coco-2014.12.24-r3.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-unset NUGET_PACKAGES
-
-inherit dotnet-pkg
-
-DESCRIPTION="The compiler generator Coco/R for C#"
-HOMEPAGE="https://github.com/boogie-org/coco/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
-else
-	SRC_URI="https://github.com/boogie-org/${PN}/archive/${PV}.tar.gz
-		-> ${P}.tar.gz"
-
-	KEYWORDS="amd64"
-fi
-
-LICENSE="GPL-2+"
-SLOT="0"
-
-DOTNET_PKG_PROJECTS=( "${S}/Coco.csproj" )
-PATCHES=( "${FILESDIR}/${P}-Coco-csproj.patch" )
-
-dotnet-pkg_force-compat
-
-src_unpack() {
-	dotnet-pkg_src_unpack
-
-	if [[ -n "${EGIT_REPO_URI}" ]] ; then
-		git-r3_src_unpack
-	fi
-}
diff --git a/dev-dotnet/coco/coco-2014.12.25.ebuild b/dev-dotnet/coco/coco-2014.12.25.ebuild
new file mode 100644
index 0000000000000..1098888311826
--- /dev/null
+++ b/dev-dotnet/coco/coco-2014.12.25.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+# Upstream did not tag this release.
+if [[ "${PV}" == "2014.12.25" ]] ; then
+	COMMIT_SHA="14be0314ae393569ab7abaf4e187f78e6d42b2fd"
+else
+	die 'Could not detect "COMMIT_SHA", please update the ebuild.'
+fi
+
+DOTNET_PKG_COMPAT="9.0"
+NUGET_PACKAGES=""
+
+inherit dotnet-pkg
+
+DESCRIPTION="The compiler generator Coco/R for C#"
+HOMEPAGE="https://github.com/boogie-org/coco/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
+else
+	SRC_URI="https://github.com/boogie-org/${PN}/archive/${COMMIT_SHA}.tar.gz
+		-> ${P}.snapshot.gh.tar.gz"
+	S="${WORKDIR}/${PN}-${COMMIT_SHA}"
+
+	KEYWORDS="~amd64"
+fi
+
+LICENSE="GPL-2+"
+SLOT="0"
+
+DOTNET_PKG_PROJECTS=( Coco.csproj )
+
+dotnet-pkg_force-compat
+
+src_unpack() {
+	dotnet-pkg_src_unpack
+
+	if [[ -n "${EGIT_REPO_URI}" ]] ; then
+		git-r3_src_unpack
+	fi
+}
diff --git a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch b/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch
deleted file mode 100644
index 9a3d3b3ec0a5c..0000000000000
--- a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/Coco.csproj
-+++ b/Coco.csproj
-@@ -13,7 +13,7 @@
- 
-   <PropertyGroup>
-     <OutputType>Exe</OutputType>
--    <TargetFrameworks>net6.0;net5.0;netcoreapp3.1</TargetFrameworks>
-+    <TargetFrameworks>net6.0</TargetFrameworks>
-     <PackAsTool>true</PackAsTool>
-     <ToolCommandName>coco</ToolCommandName>
-     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index ca630c81285e5..ff931e98d4cb1 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 3b5b9ac733733..ad7cc7f17b7f1 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,7 +1,7 @@
 AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
-DIST boogie-3.5.2.gh.tar.gz 2079790 BLAKE2B c9244b5ea7a38a80d1544d03edc2e7d7c79693e7b7b5cc30a4049315643a9a5e7e2db80af46d1fdab3dc4b01e2e84204e1901971accec781b0da7ab09c4e9a7d SHA512 52508b1ce869e2fe0436ab903911e426f7e0df8deeffc8115b703db3fbad8a4b2b6f5ee5733cec1e56422b4cbb7a2308664137d9b89e157480556eb80b65133f
 DIST boogie-3.5.3.gh.tar.gz 2079975 BLAKE2B fc26c6adc304600e663af4262788e1e5545ac23ec1c7bba7b4a59b5a79572f9264ff0e7a262536be756a785509a318a284c03b41114e5f441ac57026a647b14f SHA512 d9454cd03e6d749e23e6428f52d99ea5ead9421cc89fb2de243ddee992386abbbfc29c6951f60905fb624eb1bbc84f89acfb1beef662835a1d33ea90dc1567d1
 DIST boogie-3.5.4.gh.tar.gz 2080107 BLAKE2B 4f568f41313b5d6503cd5cd375010b37f953fbd89cf22f1473ac9cab73d847c726613efebab8772fe120b749e8e9eb849f31ab6c155861deef754ab3798c1ecb SHA512 1570d056e30a4d35637c52637c683bede418c7b83de874c69ae4edbc8914b3def51229dc14a3b37805360f3b2692271a0d69e88cc9202b4ce73d40cb9a70c0e5
+DIST boogie-3.5.5.gh.tar.gz 2129852 BLAKE2B b1271e900f6e2a94da6c2dbb8ae3916dc6e7776bdae06cebf097e88e21437a973063ada91fd07ee312b0829562e8cc8bddbd4f500f3b55bda6abd0def6728f83 SHA512 6c0b2315c330f8622abdb91312896f60fd54162b3bea8a636b865990f429c3e3cbde0b1a196e319c3777df3046680b3e73631396937a97de8dff7cd5403f04ea
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
@@ -192,7 +192,7 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676
 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0
 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d
 DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3
-EBUILD boogie-3.5.2.ebuild 9234 BLAKE2B 0e5a2cd5dd51931df2f13317747b088bc4e3ddab2e790d09b7c6171cc775be54136249b301212bdb61043dbe7d6d1952fe44cb9f6144dad023fb5fc3fc8111ea SHA512 787316f3462d9e86127976e910df5ca8eced51e68951a78f3ed06530b00d9ddcc5cebcde220c55d25054292a20b7a75e84fc4353a8da665ea9c7c473e49221c5
 EBUILD boogie-3.5.3.ebuild 9234 BLAKE2B 0e5a2cd5dd51931df2f13317747b088bc4e3ddab2e790d09b7c6171cc775be54136249b301212bdb61043dbe7d6d1952fe44cb9f6144dad023fb5fc3fc8111ea SHA512 787316f3462d9e86127976e910df5ca8eced51e68951a78f3ed06530b00d9ddcc5cebcde220c55d25054292a20b7a75e84fc4353a8da665ea9c7c473e49221c5
 EBUILD boogie-3.5.4.ebuild 9231 BLAKE2B d84850ef748134852f30505674b00a7740222c7ab268670f2f75aa64fe9e536f1a358cf6c974c49feb706b70663f0d428453ef51e78105eaa58163ab8866df05 SHA512 4f2a9d5d27c4cc823ee9b50687c17eadf22ce8d1f64617da34ea0a4e0af021c11d763a1255a5c588125209b5e4554b1595108ef5d206e296780b30b8d09fd508
+EBUILD boogie-3.5.5.ebuild 9231 BLAKE2B d84850ef748134852f30505674b00a7740222c7ab268670f2f75aa64fe9e536f1a358cf6c974c49feb706b70663f0d428453ef51e78105eaa58163ab8866df05 SHA512 4f2a9d5d27c4cc823ee9b50687c17eadf22ce8d1f64617da34ea0a4e0af021c11d763a1255a5c588125209b5e4554b1595108ef5d206e296780b30b8d09fd508
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.5.2.ebuild b/dev-lang/boogie/boogie-3.5.5.ebuild
index 4590e1e625bd4..ea570371384eb 100644
--- a/dev-lang/boogie/boogie-3.5.2.ebuild
+++ b/dev-lang/boogie/boogie-3.5.5.ebuild
@@ -205,12 +205,12 @@ HOMEPAGE="https://github.com/boogie-org/boogie/"
 if [[ "${PV}" == *9999* ]] ; then
 	inherit git-r3
 
-	EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
+	EGIT_REPO_URI="https://github.com/boogie-org/${PN}"
 else
 	SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
 		-> ${P}.gh.tar.gz"
 
-	KEYWORDS="amd64"
+	KEYWORDS="~amd64"
 fi
 
 SRC_URI+=" ${NUGET_URIS} "
diff --git a/dev-lang/clojure/Manifest b/dev-lang/clojure/Manifest
index 99c86f3bb2dc8..519d9caa1dfec 100644
--- a/dev-lang/clojure/Manifest
+++ b/dev-lang/clojure/Manifest
@@ -1,5 +1,7 @@
 AUX add-compile-spec-ant-build-target.patch 1813 BLAKE2B 5a24f1457e298429bee3fe31deca54df3801665ed57a91c9ee760003418a34a3d5f59cfe432eedfb8a247e8b9c12dce701253dd9fc747b3bf1c84f10d8bc9ec5 SHA512 da5e5a61faa8c17244073dcfa0de40c9aec1ce698df60aa1b8ba89d5aa187e9974edd400fee711120c0181b152e461db8669a85f5b83ff037023c3f05a81f21b
+AUX clojure-1.12.1-blank-SwissArmy-java-test-class.patch 853 BLAKE2B f0a27bc04b8f4ded5b4eaebacd6a19ade6e575d778c838c6c42efde4ee9fbc2c21a351af710bbb32cc4f2ebab016b9792e70238fa21c12ddbb04183d6dee6a1e SHA512 f5dda59968cc1fcccda2ec749f8d60e29bc1cf378281e2a34705e8c0cd56b4d645fa7117f90aef898ab177dab2000d6d97179711606bdf30a3ce45ae1869047a
 DIST clojure-1.12.0.tar.gz 752770 BLAKE2B 3183f40bd7e587a11ed50c7d415dbde6d5e54f85c80d8d7b1107fdb57abf30c9d88778c4270f2cf00c9b99d36ac711240c69d9d180204b7440079b7759ea8842 SHA512 9046df3a13215df07742187ff4056b391e75353a64da12f22fd680d8e02b5e19e71e9a8cad45d80c073108309f3c2b652318e0cf98db3ee3d0211f6ba6d3c832
+DIST clojure-1.12.1.tar.gz 754139 BLAKE2B f2257a7efdb7fc8713bd86d3498573cd4ed47412b1ffa4904da38a4de00f806a1734159fbdfade207f30dc704bf86848254dcddc687c699587ad3b0e13ac42b2 SHA512 e9401501925f4e36ca1177a2aa4579c804acfbe59afc8d10069639bf99ae429d72037700503188c98117bff1eb51db8641d5dd5c2abf9bbc383a067a1be67bf9
 DIST core.specs.alpha-0.4.74.tar.gz 12225 BLAKE2B df4238bdec9d91ad935b76d025cc439d2842e8577bafcfab5267750149e0f1dcbf9a8e35475f60f64f10b84f99b59238157fce82311684e63598a0cb31b350e8 SHA512 dae9ea983d9f46d0f3d5f8979f0f2b1a0eac3af48103063b5904f8cbe9813f87ef71f7a4a85528db7e9d2189f4ab2a656f805ddcc13e2835c47bc79d8408de31
 DIST data.generators-1.1.0.tar.gz 11781 BLAKE2B cccbacb789f37a705d64c9467dcb0f737110176c92f3af89165688676c225179bdf17ca29126ab3578a54ace9137c991d2f1bf4b3024c7c6aaf9fe2f63f37fb8 SHA512 7b51fd44c9d58de639d036dbce343dd81a271e28db096c64e910ca6c87869fa6ccac9ba87d7313b53304017a335ee45bbd5ab9794bc166ec46b5a8d86b5aa82e
 DIST java.classpath-1.1.0.tar.gz 10881 BLAKE2B 1f3f9a103197990954e97725ffd581945fa27f2b50b44513a94a28bf0c50f0f2fd26a906f30eefbb110942d3ba157af945e009e3d5825a73ffb37aa85679bde6 SHA512 2d3c887a04f4c8a3a1189de719cfe020ff3989bb0c680328ef15311105b2244aa2d6797c017b1d39f6c025a8bf5ea36051d995dcebcae2ea032a5ca8cec12816
@@ -9,4 +11,5 @@ DIST test.generative-1.1.0.tar.gz 144819 BLAKE2B b6cbf42b401380e3977ac219ddbc8b2
 DIST tools.namespace-1.5.0.tar.gz 37913 BLAKE2B bae6be788507d200f6e781754b46d5c7c34069b3340006f078a3f0360c0c5d2dea0398d5afe1ea6b49166baa482cc07a7687735474afc84abe644c2b8b53cd9d SHA512 c1f4dba4758ecb39460334e61f989cf92e3e2ca1f6ff03b9e12bc137de088f994d86feec827f40d33034e2f8978e099326aed3b85a21c68a910714b662bf9052
 DIST tools.reader-1.4.0.tar.gz 63792 BLAKE2B 7d0af9ff628ca1f1e1001c134e7fd2bb1cc7258321d8d19621936cdbb7e95ea5cb842268a15115b0b6929cbc352f35ea47439657db4d5d6403cf82821f7e0ccf SHA512 55c04e94828c0bf5e854d2b1d0bfd9c27e8411def1b429aa131b5e03614955777d188ad1a43295dffce032e8347e4d9d189b7eca0df3edbb105b4257f4641581
 EBUILD clojure-1.12.0.ebuild 3944 BLAKE2B b454d7607837a72d5cf1d93c568de31098944958aee6b78bd80b6ff829b7c5de23d8d5c747e4b8093d3e518ba452b172b35a0b3e8970cd38953d33235971b9e3 SHA512 2835242767ef05c5e283c71b79a6647bf76b092c5c325747fcd302646fd5d3a9ce6d396978462b5e9d58c1906abf1cd77c23f34e24d112bdc442b32afa76c60e
+EBUILD clojure-1.12.1.ebuild 4127 BLAKE2B a49ed09dc57a9ddb905a6bf631f85c333a17779e78d8fab2b21b463f367b65fa644cb486500256acb83547a023010b2b666ea9a18a9af261134a17aff7d70810 SHA512 a854d352fcfa2f44c0870ff5e2c393cfcb89c894bb1f75c53a4c0b37b23b93b8a69c409ef11f49b9b93fb6262a84c51711364494601380c8b2ad43541e039675
 MISC metadata.xml 335 BLAKE2B 9d5549eaaf88d24a1023d47406828fe19bb004dd23a8d53180d2f7cc3368b55105a3940051229a04f5a0071ef51591ec905c4fd1e527fc82b35f5f7920004267 SHA512 5d9f342b3e530281c617e5ffbc68ad085d6171148ff48c6842c5053cd35be57a244014b4b917610b833cbfa3d960f3e667aa6601d7e5cb29f05bd2030cc39200
diff --git a/dev-lang/clojure/clojure-1.12.1.ebuild b/dev-lang/clojure/clojure-1.12.1.ebuild
new file mode 100644
index 0000000000000..c97b582c6c2f6
--- /dev/null
+++ b/dev-lang/clojure/clojure-1.12.1.ebuild
@@ -0,0 +1,118 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+SPEC_ALPHA_VER="0.5.238"        # https://github.com/clojure/spec.alpha/tags/
+CORE_SPECS_ALPHA_VER="0.4.74"   # https://github.com/clojure/core.specs.alpha/tags/
+
+TOOLS_NAMESPACE_VER="1.5.0"     # https://github.com/clojure/tools.namespace/tags/
+JAVA_CLASSPATH_VER="1.1.0"      # https://github.com/clojure/java.classpath/tags/
+TOOLS_READER_VER="1.4.0"        # https://github.com/clojure/tools.reader/tags/
+TEST_GENERATIVE_VER="1.1.0"     # https://github.com/clojure/test.generative/tags/
+DATA_GENERATORS_VER="1.1.0"     # https://github.com/clojure/data.generators/tags/
+TEST_CHECK_VER="1.1.1"          # https://github.com/clojure/test.check/tags/
+
+JAVA_PKG_IUSE="test"
+
+inherit java-pkg-2
+
+DESCRIPTION="General-purpose programming language with an emphasis on functional programming"
+HOMEPAGE="https://clojure.org/
+	https://github.com/clojure/clojure/"
+SRC_URI="
+	https://github.com/${PN}/${PN}/archive/${P}.tar.gz
+
+	https://github.com/clojure/spec.alpha/archive/v${SPEC_ALPHA_VER}.tar.gz
+		-> spec.alpha-${SPEC_ALPHA_VER}.tar.gz
+	https://github.com/clojure/core.specs.alpha/archive/v${CORE_SPECS_ALPHA_VER}.tar.gz
+		-> core.specs.alpha-${CORE_SPECS_ALPHA_VER}.tar.gz
+
+	test? (
+		https://github.com/clojure/tools.namespace/archive/v${TOOLS_NAMESPACE_VER}.tar.gz
+			-> tools.namespace-${TOOLS_NAMESPACE_VER}.tar.gz
+		https://github.com/clojure/java.classpath/archive/v${JAVA_CLASSPATH_VER}.tar.gz
+			-> java.classpath-${JAVA_CLASSPATH_VER}.tar.gz
+		https://github.com/clojure/tools.reader/archive/v${TOOLS_READER_VER}.tar.gz
+			-> tools.reader-${TOOLS_READER_VER}.tar.gz
+		https://github.com/clojure/test.generative/archive/v${TEST_GENERATIVE_VER}.tar.gz
+			-> test.generative-${TEST_GENERATIVE_VER}.tar.gz
+		https://github.com/clojure/data.generators/archive/v${DATA_GENERATORS_VER}.tar.gz
+			-> data.generators-${DATA_GENERATORS_VER}.tar.gz
+		https://github.com/clojure/test.check/archive/v${TEST_CHECK_VER}.tar.gz
+			-> test.check-${TEST_CHECK_VER}.tar.gz
+	)
+"
+S="${WORKDIR}/${PN}-${P}"
+
+LICENSE="EPL-1.0 Apache-2.0 BSD"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~x86-linux"
+RESTRICT="!test? ( test )"
+
+BDEPEND="
+	>=dev-java/ant-1.10.14-r3
+"
+RDEPEND="
+	>=virtual/jre-1.8:*
+"
+DEPEND="
+	>=virtual/jdk-1.8:*
+"
+
+PATCHES=(
+	"${FILESDIR}/add-compile-spec-ant-build-target.patch"
+	"${FILESDIR}/clojure-1.12.1-blank-SwissArmy-java-test-class.patch"
+)
+
+DOCS=( changes.md CONTRIBUTING.md readme.txt )
+
+src_prepare() {
+	# Remove failing tests.
+	rm ./test/clojure/test_clojure/param_tags.clj \
+		|| die "failed to remove some tests"
+
+	default
+	java-pkg-2_src_prepare
+
+	ln -rs ../spec.alpha-${SPEC_ALPHA_VER}/src/main/clojure/clojure/spec \
+		src/clj/clojure/spec \
+		|| die "Could not create symbolic link for spec-alpha"
+	ln -rs ../core.specs.alpha-${CORE_SPECS_ALPHA_VER}/src/main/clojure/clojure/core/specs \
+		src/clj/clojure/core/specs \
+		|| die "Could not create symbolic link for core-specs-alpha"
+}
+
+src_compile() {
+	eant -f build.xml jar
+}
+
+src_test() {
+	cp -r ../tools.namespace-${TOOLS_NAMESPACE_VER}/src/main/clojure/clojure/tools/* \
+		src/clj/clojure/tools \
+		|| die "Could not create symbolic link for tools-namespace"
+	cp -r ../java.classpath-${JAVA_CLASSPATH_VER}/src/main/clojure/clojure/java/* \
+		src/clj/clojure/java \
+		|| die "Could not move java-classpath"
+	cp -r ../tools.reader-${TOOLS_READER_VER}/src/main/clojure/clojure/tools/* \
+		src/clj/clojure/tools \
+		|| die "Could not move tools-reader"
+	cp -r ../test.generative-${TEST_GENERATIVE_VER}/src/main/clojure/clojure/test/* \
+		src/clj/clojure/test \
+		|| die "Could not move test-generative"
+	ln -rs ../data.generators-${DATA_GENERATORS_VER}/src/main/clojure/clojure/data/ \
+		src/clj/clojure/data \
+		|| die "Could not create symbolic link for data-generators"
+	cp -r ../test.check-${TEST_CHECK_VER}/src/main/clojure/clojure/test/* \
+		src/clj/clojure/test \
+		|| die "Could not move test-check"
+
+	eant -f build.xml test
+}
+
+src_install() {
+	java-pkg_newjar "${PN}.jar"
+	java-pkg_dolauncher "${PN}" --main clojure.main
+
+	einstalldocs
+}
diff --git a/dev-lang/clojure/files/clojure-1.12.1-blank-SwissArmy-java-test-class.patch b/dev-lang/clojure/files/clojure-1.12.1-blank-SwissArmy-java-test-class.patch
new file mode 100644
index 0000000000000..35f6f9dbc2b2d
--- /dev/null
+++ b/dev-lang/clojure/files/clojure-1.12.1-blank-SwissArmy-java-test-class.patch
@@ -0,0 +1,23 @@
+diff --git a/test/java/clojure/test/SwissArmy.java b/test/java/clojure/test/SwissArmy.java
+index f38e2d44..77bb4283 100644
+--- a/test/java/clojure/test/SwissArmy.java
++++ b/test/java/clojure/test/SwissArmy.java
+@@ -1,9 +1,10 @@
+ package clojure.test;
+ 
+-import clojure.java.api.Clojure;
+-import clojure.lang.IFn;
++// import clojure.java.api.Clojure;
++// import clojure.lang.IFn;
+ 
+ public class SwissArmy {
++/*
+     public static String doppelganger = "static-field";
+     public String ctorId;
+     public static IFn idFn = Clojure.var("clojure.core", "identity");
+@@ -42,4 +43,5 @@ public class SwissArmy {
+     public static String staticArityOverloadMethod(int a, int b, int c) {return "int-int-int";}
+     public static String doppelganger(int a, int b, long c) {return "int-int-long";}
+     public static String doppelganger() {return "";}
++*/
+ }
diff --git a/dev-lang/typescript/Manifest b/dev-lang/typescript/Manifest
index 8f541a81d3ad8..73cc855e702f6 100644
--- a/dev-lang/typescript/Manifest
+++ b/dev-lang/typescript/Manifest
@@ -1,5 +1,5 @@
-DIST typescript-5.8.2.tgz 4250087 BLAKE2B 74bc64289bde0b663e06e66d717225645e420741831db9f721860ea1d5d98c64f9787d9bc6c1637b2deda12d5ed19422732b3a3a3f030fb301949083c3bbd2f2 SHA512 6899fac2ad77fda7d9a7f8d3f50666c048c3aaabd21a9d554f919583e7ffb7afe8572ae05cce8163587d05187f3b9a773e550f01ef96ba21193a66ffe3d46aa1
 DIST typescript-5.8.3.tgz 4250436 BLAKE2B 58d1a1c6e7515bc83375c18e3e25ed6dca93989589c722e7b561bf255f69e133f6aa4a0347eeb5bf6aa29dc5e4cc4a6fa7e6079b792d442ad9f300fd7683212c SHA512 a757625ba4ea2fd2f4ee7371bd130cee130cc387395cea3fd626cbe1a0081a6480b7db254c4d57830e4a5aea1fdae4cebc283d058ed9462f86685fbbb1f80f79
-EBUILD typescript-5.8.2.ebuild 834 BLAKE2B e0ded0c158b65fd8d531dd327e11808012628e79ec679519aed9b11a49f896bf4345a1a98f42b8b91df023e477ed489371af423e27725c82f2eefcf8db2e7b06 SHA512 255a2edbd50a2a7b10ddb4b489011cebc90ed4b19fbe90478badef9995ee805a2ecd34bafe202edd2aa28cf3159c15ba81a42a2998322b70876acef2ffbfe21a
+DIST typescript-5.9.2.tgz 4376902 BLAKE2B 35db4b391eed81a6407bd23a6494a2f01a6979858ddf3ccd74b2b1f16fcae4e11e1c813340a234af4da852de1ad21e0fa22b0cf04910c22b1c01c77bd798f958 SHA512 0960735d0adcfea3a4862770d4ecc14d0b9845b7f2c435c93152755cdc141c644e566b9a7a2126dceb25a59d5157de9ded228a8d92ab489bb7fadff1970dd1f4
 EBUILD typescript-5.8.3.ebuild 834 BLAKE2B e0ded0c158b65fd8d531dd327e11808012628e79ec679519aed9b11a49f896bf4345a1a98f42b8b91df023e477ed489371af423e27725c82f2eefcf8db2e7b06 SHA512 255a2edbd50a2a7b10ddb4b489011cebc90ed4b19fbe90478badef9995ee805a2ecd34bafe202edd2aa28cf3159c15ba81a42a2998322b70876acef2ffbfe21a
+EBUILD typescript-5.9.2.ebuild 835 BLAKE2B 8b92a843bc5e5bb9a48578f14b827099b1b4c6a444421fb0c64d32efba0660835d58b6cee79f24b29fe1282cba6f03e54350cd3a9ce4f370d7bc456a6865181f SHA512 409d61ca254c8e0ada0b7f698d23900e9f881c25c2d92e40c04f550d5eb68357d5ef6f731a4d96133608988e52e956b48bdd253d0963924b9c53763870b89aa4
 MISC metadata.xml 733 BLAKE2B 903d85acefa054dd979ac181106cd604c351e4b81e18be7ad0f370501864f6789895244a797ec20041158d8c716907a06fa75c2ba4ea192e798719bbe73b1d45 SHA512 95806f8f442b0246867f0ba0ed70c093dfd772a558ae499be7e22bfe99cb3bc54debc7479ca9b4ac81a54156d3b8745cbb448e412f31ed2d5c43f76cbc642d72
diff --git a/dev-lang/typescript/typescript-5.8.2.ebuild b/dev-lang/typescript/typescript-5.9.2.ebuild
index 3c3637607390b..145001b5fed24 100644
--- a/dev-lang/typescript/typescript-5.8.2.ebuild
+++ b/dev-lang/typescript/typescript-5.9.2.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/package"
 
 LICENSE="Apache-2.0"
 SLOT="0"
-KEYWORDS="amd64 ~arm64 ~ppc64"
+KEYWORDS="~amd64 ~arm64 ~ppc64"
 
 RDEPEND="
 	net-libs/nodejs
diff --git a/dev-python/Manifest.gz b/dev-python/Manifest.gz
index 94b97734b85bb..1b905a7165dc7 100644
--- a/dev-python/Manifest.gz
+++ b/dev-python/Manifest.gz
diff --git a/dev-python/ytmusicapi/Manifest b/dev-python/ytmusicapi/Manifest
index 1567881317b60..3db6af2c8703f 100644
--- a/dev-python/ytmusicapi/Manifest
+++ b/dev-python/ytmusicapi/Manifest
@@ -1,3 +1,5 @@
 DIST ytmusicapi-1.10.3.tar.gz 311765 BLAKE2B 7ae6b2085e2b1197da84a80f661e82438835556565eb7fe13e1e63845d36bbaff444925a4d94f2104138ac4e3655cdd705e8c862ac13e61c1d9dfcc4d82a9169 SHA512 39d56db4e08af7c81925751a818de51432a5a49e6a52d2201cc3bb62c796f933aa0e15bf2cb7b02b1794b95868a6cb1363c465896c4a9fe69bf25318d9dfc993
+DIST ytmusicapi-1.11.0.tar.gz 316082 BLAKE2B 1272795cc0ee86a8d2691245839520d29339b0e556c11f480a663fd12e27406d0f76f7f566eda538dd5a91fa318e887ccc8a7a44005c37bc14f22172e5d2ab7f SHA512 f2631086f70352d78145a9ecab5e42396ff36ad87fc1769f64dbc4d5e7f215f80ea81b9efefddfea3612959654cd92e39e24bfb73e13b6e0d9b2a36cb8d6875c
 EBUILD ytmusicapi-1.10.3.ebuild 522 BLAKE2B e1f92479e06aae37a912316377dea8d37a7364f27b32121d8b6c33a8798f981f573d71dca8d43fab7c446953ea96cc69e28bef16ebed72d4af55920fb0a45d89 SHA512 9ef0988cf24f0fcb1235eda80e02ad62d269a10fd20344722a437296492aceb6383b982288659ca3be259356a8c0dbabd174445cf1f3ccd0aaa3796f0ddfe7c3
+EBUILD ytmusicapi-1.11.0.ebuild 523 BLAKE2B 788416450cdca792fef10b577da7481df2e14bb2367275700d0507fc3d15969eaeae84a31c7bf4bf989a0b382abc490a3fa97f8b7dea8fdd6bf5d4d79bff8a6e SHA512 b4a37d925c70559d590160e45ea020ecf1146b29a22ea5a1b877e7858695df300a8ac454796dcc1777464d5ed0813a375c42e4f8901a10550b5f822fefd1d746
 MISC metadata.xml 589 BLAKE2B bf51d5de92082a99ffb69839a9cadcea1d740f05d83194b951383713bcfbc4c95021ef27382cc6020298c3b8817553549ba150876c1398094dcc9a7de38bc04c SHA512 d34382f0041b2f74892661880ee7a318d7571254b18bf41d1152560e06f8d1b2da7432b4e9eb8a0d8b6cba645da9a3bf9c6a7c33002471a17d8c516c0aee8f70
diff --git a/dev-python/ytmusicapi/ytmusicapi-1.11.0.ebuild b/dev-python/ytmusicapi/ytmusicapi-1.11.0.ebuild
new file mode 100644
index 0000000000000..fc77301fec84a
--- /dev/null
+++ b/dev-python/ytmusicapi/ytmusicapi-1.11.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DISTUTILS_USE_PEP517="setuptools"
+PYTHON_COMPAT=( python3_{11..13} )
+
+inherit distutils-r1 pypi
+
+DESCRIPTION="Unofficial API for YouTube Music"
+HOMEPAGE="https://ytmusicapi.readthedocs.io/
+	https://github.com/sigma67/ytmusicapi/"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+RESTRICT="test"
+
+RDEPEND="
+	dev-python/requests[${PYTHON_USEDEP}]
+"
+
+distutils_enable_sphinx docs/source dev-python/sphinx-rtd-theme
diff --git a/metadata/.checksum-test-marker b/metadata/.checksum-test-marker
index a1b829b2da171..759cb9f8141c0 100644
--- a/metadata/.checksum-test-marker
+++ b/metadata/.checksum-test-marker
@@ -1,4 +1,4 @@
-1754068265 Fri Aug  1 05:11:05 PM UTC 2025
+1754070065 Fri Aug  1 05:41:05 PM UTC 2025
 # Testcase for mirror network:
 # Watch the value over a day, if unchanging then
 # one or more mirrors is missing --checksum
diff --git a/metadata/Manifest.gz b/metadata/Manifest.gz
index 2e47361eb8ef5..c744610d7f489 100644
--- a/metadata/Manifest.gz
+++ b/metadata/Manifest.gz
diff --git a/metadata/dtd/timestamp.chk b/metadata/dtd/timestamp.chk
index 5168abb33686b..6b885f0c0e0c6 100644
--- a/metadata/dtd/timestamp.chk
+++ b/metadata/dtd/timestamp.chk
@@ -1 +1 @@
-Fri, 01 Aug 2025 17:10:28 +0000
+Fri, 01 Aug 2025 17:40:27 +0000
diff --git a/metadata/glsa/Manifest b/metadata/glsa/Manifest
index 3a95ac0e9e69e..deed2165a3b23 100644
--- a/metadata/glsa/Manifest
+++ b/metadata/glsa/Manifest
@@ -2,22 +2,22 @@
 Hash: SHA512
 
 MANIFEST Manifest.files.gz 602536 BLAKE2B 91a162d8598eb8bf6ea25e77751a0b7fa92b549d16af2ef26513faf217c26a9295178de5a769cd60342031fa78942e16f543dd099103b200d9cab6b5696ba3fc SHA512 67f89e3170126adb03811ef405e1cbc5e716c5a2f01c9840b9da221edfee53a1560bd3c91cea35afc906b5f7d24e9aba540802027b3cf668865775486392ccb4
-TIMESTAMP 2025-08-01T17:10:35Z
+TIMESTAMP 2025-08-01T17:40:32Z
 -----BEGIN PGP SIGNATURE-----
 
-iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmiM9QtfFIAAAAAALgAo
+iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmiM/BBfFIAAAAAALgAo
 aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUx
 RDZBQkI2M0JGQ0ZCNEJBMDJGREYxQ0VDNTkwRUVBQzkxODkyNTAACgkQ7FkO6skY
-klAqaBAAkJXdxI8HYFP97MdiktRsFKsdoVU8/qxS8SMr4lL7zI5KfXDXbBiyKEev
-sm2blnMvdiQcS4romeu/4KjXtLivJx4MUO9jBiyaMXAuh9WpxgVO1BU/kpYMByoD
-6opTGFDORG9KPVqBEXLfyLulGd+RZvCFI6DYAT8C58SkfxKLDsx2qxIHZ4mcedRl
-snnJTZZKft3Z7y2e/90lUGWDoN8hMdWgCKt5BY4FZj7PKuc7D/iQT33SJi/XbfDa
-onaDJvTHJktUkD8ss4zvBckBn6X+TtZ73XQ6r9pufR+G/o+3zY+5OgtRxG3vKpXn
-rRtFRQhc7qc4h7q7XU29QaDDqnfCwhBjIUGsQX17otIFgmoD0vZ2L94jBwbq3q5u
-FFJW4yXpteGssvtiiRl1blV+yk6cjmJU7lNKNOLyoXOkWQT7wsTpx1RkQjR8Sro3
-stOO4eGdoBgRXoQQEHODiCvtV6yK8yRBdLKtngTZCBeAvAasHpgMZzTL25Knbw/w
-MoYN2jQPh+o6hkoIPhxgbvEtBWWrBdo5cAcmYB+SiTwJCLyjg553XzFljTo7+0xC
-WFOlSOjIC+zitP52gRssMEW73Ksqg0zN5QzMQvsHf9regKxJXtNY4RuNKqBGgVNM
-ee9YydxgJjmL4uguuc+ZLXXIOS2SH3FTrcfUO0UuOt79VNqOXKA=
-=/Z90
+klAWMQ/+PSNFZLVJ713s9k9I9UChKOiEtGtbwpfkImPqrBDN+5q8iKvEDl9A7wCM
+m8GAwJ+ZJOuMHlCmsLt6GfYCvDeD647oyFQkjgikap9bjnqg1PVTj2kSVC73YaVh
+kCfvwbUzJfpC/cP3/KysZ60Kut+M1VDwE2fpr6KGVOLV376VFQOZ8vR3bFNGkf3d
+lP06m7Wt4z3jiAfWJpgp8/l3jBAsyALYHukCPeDLpphQU4Qh7I8bnQeJJqiVNyBj
+AH7rf7YwxSHJLe/kltpr7GuUyd1JPmPcXxtgHM7JcDkjN4aIVenJ51HOylQLx4li
+uzmd8B7vHSg1HOS7N6DOvbQkU2Ee1prJYelKh+cGRJBLJqMb1ij59g6l3w212mNI
+g057mLkakodQKKBc9MUyh/oDr/BvTSnNGycAbP/kqpbe98al5cBzh8MG63FWcbqw
+ZRLcLxICpRPptM5grrDH0+2BIqBgxJTwt6y7rB+sSnyl4afwsuF8a5pP8sLcJXat
+FplVHQrDiYQohCdfeoq8OKLZYol92aXZrApXJrXiaXefwAI4f2bkTDbLFDEuDh5H
+E5/qQ/poqkKUM9wViPOQ0ANJqs2g6Yd7xeF81Wu78OTUXKUNh4WRO2Zmgohdz3N8
+ZHxdovUsyvYcpt7+6i7s+8L/itGL7cuCXiH6QnTcLj7Ha66VRAw=
+=nZTm
 -----END PGP SIGNATURE-----
diff --git a/metadata/glsa/timestamp.chk b/metadata/glsa/timestamp.chk
index 5168abb33686b..40c285e4bedb4 100644
--- a/metadata/glsa/timestamp.chk
+++ b/metadata/glsa/timestamp.chk
@@ -1 +1 @@
-Fri, 01 Aug 2025 17:10:28 +0000
+Fri, 01 Aug 2025 17:40:28 +0000
diff --git a/metadata/md5-cache/Manifest.gz b/metadata/md5-cache/Manifest.gz
index 512df8d9f8f09..9412c8a8e87aa 100644
--- a/metadata/md5-cache/Manifest.gz
+++ b/metadata/md5-cache/Manifest.gz
diff --git a/metadata/md5-cache/dev-dotnet/Manifest.gz b/metadata/md5-cache/dev-dotnet/Manifest.gz
index ec46e589fb6b3..fbac662f54d69 100644
--- a/metadata/md5-cache/dev-dotnet/Manifest.gz
+++ b/metadata/md5-cache/dev-dotnet/Manifest.gz
diff --git a/metadata/md5-cache/dev-dotnet/coco-2014.12.24-r3 b/metadata/md5-cache/dev-dotnet/coco-2014.12.25
index 54e142d993a8d..ad1edc5a3af08 100644
--- a/metadata/md5-cache/dev-dotnet/coco-2014.12.24-r3
+++ b/metadata/md5-cache/dev-dotnet/coco-2014.12.25
@@ -1,15 +1,15 @@
-BDEPEND=virtual/dotnet-sdk:8.0 dev-dotnet/csharp-gentoodotnetinfo
+BDEPEND=virtual/dotnet-sdk:9.0 dev-dotnet/csharp-gentoodotnetinfo
 DEFINED_PHASES=compile configure install prepare setup test unpack
 DESCRIPTION=The compiler generator Coco/R for C#
 EAPI=8
 HOMEPAGE=https://github.com/boogie-org/coco/
 INHERIT=dotnet-pkg
 IUSE=debug
-KEYWORDS=amd64
+KEYWORDS=~amd64
 LICENSE=GPL-2+
-RDEPEND=virtual/dotnet-sdk:8.0
+RDEPEND=virtual/dotnet-sdk:9.0
 RESTRICT=strip
 SLOT=0
-SRC_URI=https://github.com/boogie-org/coco/archive/2014.12.24.tar.gz -> coco-2014.12.24.tar.gz
+SRC_URI=https://github.com/boogie-org/coco/archive/14be0314ae393569ab7abaf4e187f78e6d42b2fd.tar.gz -> coco-2014.12.25.snapshot.gh.tar.gz
 _eclasses_=dotnet-pkg	149be926006315896e1a57f36db1b772	dotnet-pkg-base	6c5f563c6f9f99038ac0ddf7403e3b55	edo	a5e294016aa84979fcb2459749eb80b2	multiprocessing	1e32df7deee68372153dca65f4a7c21f	nuget	5b6663023b71fb1220f230ac225205ae
-_md5_=a5b3f2628898865f02247d8629655f78
+_md5_=1ba5647644a3462e14da81cffb107661
diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz
index 0378b8ae877bf..300dc9a6d976d 100644
--- a/metadata/md5-cache/dev-lang/Manifest.gz
+++ b/metadata/md5-cache/dev-lang/Manifest.gz
diff --git a/metadata/md5-cache/dev-lang/boogie-3.5.2 b/metadata/md5-cache/dev-lang/boogie-3.5.5
index 6e385562ba522..791e50be6ee06 100644
--- a/metadata/md5-cache/dev-lang/boogie-3.5.2
+++ b/metadata/md5-cache/dev-lang/boogie-3.5.5
@@ -5,11 +5,11 @@ EAPI=8
 HOMEPAGE=https://github.com/boogie-org/boogie/
 INHERIT=check-reqs dotnet-pkg edo multiprocessing
 IUSE=test debug
-KEYWORDS=amd64
+KEYWORDS=~amd64
 LICENSE=MIT
 RDEPEND=sci-mathematics/z3 virtual/dotnet-sdk:9.0
 RESTRICT=!test? ( test ) strip
 SLOT=0
-SRC_URI=https://github.com/boogie-org/boogie/archive/v3.5.2.tar.gz -> boogie-3.5.2.gh.tar.gz https://api.nuget.org/v3-flatcontainer/microsoft.bcl.asyncinterfaces/6.0.0/microsoft.bcl.asyncinterfaces.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.codecoverage/16.2.0/microsoft.codecoverage.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.csharp/4.0.1/microsoft.csharp.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.dotnet.internalabstractions/1.0.0/microsoft.dotnet.internalabstractions.1.0.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.net.test.sdk/16.2.0/microsoft.net.test.sdk.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.platforms/1.0.1/microsoft.netcore.platforms.1.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.platforms/1.1.0/microsoft.netcore.platforms.1.1.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.targets/1.0.1/microsoft.netcore.targets.1.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.targets/1.1.0/microsoft.netcore.targets.1.1.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.testplatform.objectmodel/16.2.0/microsoft.testplatform.objectmodel.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.testplatform.testhost/16.2.0/microsoft.testplatform.testhost.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.primitives/4.0.1/microsoft.win32.primitives.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.primitives/4.3.0/microsoft.win32.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.registry/4.0.0/microsoft.win32.registry.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.registry/4.3.0/microsoft.win32.registry.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.systemevents/6.0.0/microsoft.win32.systemevents.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/netstandard.library/1.6.0/netstandard.library.1.6.0.nupkg https://api.nuget.org/v3-flatcontainer/netstandard.library/2.0.0/netstandard.library.2.0.0.nupkg https://api.nuget.org/v3-flatcontainer/newtonsoft.json/9.0.1/newtonsoft.json.9.0.1.nupkg https://api.nuget.org/v3-flatcontainer/nunit/3.12.0/nunit.3.12.0.nupkg https://api.nuget.org/v3-flatcontainer/nunit3testadapter/3.15.1/nunit3testadapter.3.15.1.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.collections/4.3.0/runtime.any.system.collections.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.diagnostics.tools/4.3.0/runtime.any.system.diagnostics.tools.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.diagnostics.tracing/4.3.0/runtime.any.system.diagnostics.tracing.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.globalization.calendars/4.3.0/runtime.any.system.globalization.calendars.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.globalization/4.3.0/runtime.any.system.globalization.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.io/4.3.0/runtime.any.system.io.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.reflection.extensions/4.3.0/runtime.any.system.reflection.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.reflection.primitives/4.3.0/runtime.any.system.reflection.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.reflection/4.3.0/runtime.any.system.reflection.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.resources.resourcemanager/4.3.0/runtime.any.system.resources.resourcemanager.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.runtime.handles/4.3.0/runtime.any.system.runtime.handles.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.runtime.interopservices/4.3.0/runtime.any.system.runtime.interopservices.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.runtime/4.3.0/runtime.any.system.runtime.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.text.encoding.extensions/4.3.0/runtime.any.system.text.encoding.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.text.encoding/4.3.0/runtime.any.system.text.encoding.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.threading.tasks/4.3.0/runtime.any.system.threading.tasks.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.threading.timer/4.3.0/runtime.any.system.threading.timer.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.io.compression/4.1.0/runtime.native.system.io.compression.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.net.http/4.0.1/runtime.native.system.net.http.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.security.cryptography.openssl/4.3.0/runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.security.cryptography/4.0.0/runtime.native.system.security.cryptography.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system/4.0.0/runtime.native.system.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system/4.3.0/runtime.native.system.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.microsoft.win32.primitives/4.3.0/runtime.unix.microsoft.win32.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.console/4.3.0/runtime.unix.system.console.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.diagnostics.debug/4.3.0/runtime.unix.system.diagnostics.debug.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.io.filesystem/4.3.0/runtime.unix.system.io.filesystem.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.net.primitives/4.3.0/runtime.unix.system.net.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.net.sockets/4.3.0/runtime.unix.system.net.sockets.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.private.uri/4.3.0/runtime.unix.system.private.uri.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.runtime.extensions/4.3.0/runtime.unix.system.runtime.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.appcontext/4.1.0/system.appcontext.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.buffers/4.0.0/system.buffers.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.buffers/4.3.0/system.buffers.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.concurrent/4.0.12/system.collections.concurrent.4.0.12.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.immutable/1.2.0/system.collections.immutable.1.2.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.nongeneric/4.0.1/system.collections.nongeneric.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.nongeneric/4.3.0/system.collections.nongeneric.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.specialized/4.0.1/system.collections.specialized.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.specialized/4.3.0/system.collections.specialized.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections/4.0.11/system.collections.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.collections/4.3.0/system.collections.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.eventbasedasync/4.0.11/system.componentmodel.eventbasedasync.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.eventbasedasync/4.3.0/system.componentmodel.eventbasedasync.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.primitives/4.1.0/system.componentmodel.primitives.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.primitives/4.3.0/system.componentmodel.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.typeconverter/4.1.0/system.componentmodel.typeconverter.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.typeconverter/4.3.0/system.componentmodel.typeconverter.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel/4.0.1/system.componentmodel.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel/4.3.0/system.componentmodel.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.configuration.configurationmanager/6.0.0/system.configuration.configurationmanager.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.console/4.0.0/system.console.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.debug/4.0.11/system.diagnostics.debug.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.debug/4.3.0/system.diagnostics.debug.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.diagnosticsource/4.0.0/system.diagnostics.diagnosticsource.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.process/4.1.0/system.diagnostics.process.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.process/4.3.0/system.diagnostics.process.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.textwritertracelistener/4.0.0/system.diagnostics.textwritertracelistener.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tools/4.0.1/system.diagnostics.tools.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tracesource/4.0.0/system.diagnostics.tracesource.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tracing/4.1.0/system.diagnostics.tracing.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tracing/4.3.0/system.diagnostics.tracing.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.drawing.common/6.0.0/system.drawing.common.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.dynamic.runtime/4.0.11/system.dynamic.runtime.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization.calendars/4.0.1/system.globalization.calendars.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization.extensions/4.0.1/system.globalization.extensions.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization.extensions/4.3.0/system.globalization.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization/4.0.11/system.globalization.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization/4.3.0/system.globalization.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io.compression.zipfile/4.0.1/system.io.compression.zipfile.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.io.compression/4.1.0/system.io.compression.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem.primitives/4.0.1/system.io.filesystem.primitives.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem.primitives/4.3.0/system.io.filesystem.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem/4.0.1/system.io.filesystem.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem/4.3.0/system.io.filesystem.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io/4.1.0/system.io.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io/4.3.0/system.io.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.linq.async/6.0.1/system.linq.async.6.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.linq.expressions/4.1.0/system.linq.expressions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.linq/4.1.0/system.linq.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.linq/4.3.0/system.linq.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.net.http/4.1.0/system.net.http.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.net.nameresolution/4.3.0/system.net.nameresolution.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.net.primitives/4.0.11/system.net.primitives.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.net.sockets/4.1.0/system.net.sockets.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.objectmodel/4.0.12/system.objectmodel.4.0.12.nupkg https://api.nuget.org/v3-flatcontainer/system.private.datacontractserialization/4.1.1/system.private.datacontractserialization.4.1.1.nupkg https://api.nuget.org/v3-flatcontainer/system.private.uri/4.3.0/system.private.uri.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reactive/4.4.1/system.reactive.4.4.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.emit.ilgeneration/4.0.1/system.reflection.emit.ilgeneration.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.emit.lightweight/4.0.1/system.reflection.emit.lightweight.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.emit/4.0.1/system.reflection.emit.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.extensions/4.0.1/system.reflection.extensions.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.extensions/4.3.0/system.reflection.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.metadata/1.3.0/system.reflection.metadata.1.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.primitives/4.0.1/system.reflection.primitives.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.primitives/4.3.0/system.reflection.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.typeextensions/4.1.0/system.reflection.typeextensions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.typeextensions/4.3.0/system.reflection.typeextensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection/4.1.0/system.reflection.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection/4.3.0/system.reflection.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.resources.resourcemanager/4.0.1/system.resources.resourcemanager.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.resources.resourcemanager/4.3.0/system.resources.resourcemanager.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.caching/6.0.0/system.runtime.caching.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.extensions/4.1.0/system.runtime.extensions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.extensions/4.3.0/system.runtime.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.handles/4.0.1/system.runtime.handles.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.handles/4.3.0/system.runtime.handles.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices.runtimeinformation/4.0.0/system.runtime.interopservices.runtimeinformation.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices.runtimeinformation/4.3.0/system.runtime.interopservices.runtimeinformation.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices/4.1.0/system.runtime.interopservices.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices/4.3.0/system.runtime.interopservices.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.loader/4.0.0/system.runtime.loader.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.numerics/4.0.1/system.runtime.numerics.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.serialization.json/4.0.2/system.runtime.serialization.json.4.0.2.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.serialization.primitives/4.1.1/system.runtime.serialization.primitives.4.1.1.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime/4.1.0/system.runtime.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime/4.3.0/system.runtime.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.accesscontrol/6.0.0/system.security.accesscontrol.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.claims/4.3.0/system.security.claims.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.algorithms/4.2.0/system.security.cryptography.algorithms.4.2.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.cng/4.2.0/system.security.cryptography.cng.4.2.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.csp/4.0.0/system.security.cryptography.csp.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.encoding/4.0.0/system.security.cryptography.encoding.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.openssl/4.0.0/system.security.cryptography.openssl.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.primitives/4.0.0/system.security.cryptography.primitives.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.protecteddata/6.0.0/system.security.cryptography.protecteddata.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.x509certificates/4.1.0/system.security.cryptography.x509certificates.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.permissions/6.0.0/system.security.permissions.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.principal.windows/4.3.0/system.security.principal.windows.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.principal/4.3.0/system.security.principal.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding.extensions/4.0.11/system.text.encoding.extensions.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding.extensions/4.3.0/system.text.encoding.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding/4.0.11/system.text.encoding.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding/4.3.0/system.text.encoding.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.regularexpressions/4.1.0/system.text.regularexpressions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.regularexpressions/4.3.0/system.text.regularexpressions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks.extensions/4.0.0/system.threading.tasks.extensions.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks.extensions/4.3.0/system.threading.tasks.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks/4.0.11/system.threading.tasks.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks/4.3.0/system.threading.tasks.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.thread/4.0.0/system.threading.thread.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.thread/4.3.0/system.threading.thread.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.threadpool/4.0.10/system.threading.threadpool.4.0.10.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.threadpool/4.3.0/system.threading.threadpool.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.timer/4.0.1/system.threading.timer.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.threading/4.0.11/system.threading.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.threading/4.3.0/system.threading.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.windows.extensions/6.0.0/system.windows.extensions.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.readerwriter/4.0.11/system.xml.readerwriter.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.readerwriter/4.3.0/system.xml.readerwriter.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xdocument/4.0.11/system.xml.xdocument.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xmldocument/4.0.1/system.xml.xmldocument.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xmldocument/4.3.0/system.xml.xmldocument.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xmlserializer/4.0.11/system.xml.xmlserializer.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath.xmldocument/4.0.1/system.xml.xpath.xmldocument.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath.xmldocument/4.3.0/system.xml.xpath.xmldocument.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath/4.0.1/system.xml.xpath.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath/4.3.0/system.xml.xpath.4.3.0.nupkg
+SRC_URI=https://github.com/boogie-org/boogie/archive/v3.5.5.tar.gz -> boogie-3.5.5.gh.tar.gz https://api.nuget.org/v3-flatcontainer/microsoft.bcl.asyncinterfaces/6.0.0/microsoft.bcl.asyncinterfaces.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.codecoverage/16.2.0/microsoft.codecoverage.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.csharp/4.0.1/microsoft.csharp.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.dotnet.internalabstractions/1.0.0/microsoft.dotnet.internalabstractions.1.0.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.net.test.sdk/16.2.0/microsoft.net.test.sdk.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.platforms/1.0.1/microsoft.netcore.platforms.1.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.platforms/1.1.0/microsoft.netcore.platforms.1.1.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.targets/1.0.1/microsoft.netcore.targets.1.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.netcore.targets/1.1.0/microsoft.netcore.targets.1.1.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.testplatform.objectmodel/16.2.0/microsoft.testplatform.objectmodel.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.testplatform.testhost/16.2.0/microsoft.testplatform.testhost.16.2.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.primitives/4.0.1/microsoft.win32.primitives.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.primitives/4.3.0/microsoft.win32.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.registry/4.0.0/microsoft.win32.registry.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.registry/4.3.0/microsoft.win32.registry.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/microsoft.win32.systemevents/6.0.0/microsoft.win32.systemevents.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/netstandard.library/1.6.0/netstandard.library.1.6.0.nupkg https://api.nuget.org/v3-flatcontainer/netstandard.library/2.0.0/netstandard.library.2.0.0.nupkg https://api.nuget.org/v3-flatcontainer/newtonsoft.json/9.0.1/newtonsoft.json.9.0.1.nupkg https://api.nuget.org/v3-flatcontainer/nunit/3.12.0/nunit.3.12.0.nupkg https://api.nuget.org/v3-flatcontainer/nunit3testadapter/3.15.1/nunit3testadapter.3.15.1.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.collections/4.3.0/runtime.any.system.collections.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.diagnostics.tools/4.3.0/runtime.any.system.diagnostics.tools.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.diagnostics.tracing/4.3.0/runtime.any.system.diagnostics.tracing.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.globalization.calendars/4.3.0/runtime.any.system.globalization.calendars.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.globalization/4.3.0/runtime.any.system.globalization.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.io/4.3.0/runtime.any.system.io.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.reflection.extensions/4.3.0/runtime.any.system.reflection.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.reflection.primitives/4.3.0/runtime.any.system.reflection.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.reflection/4.3.0/runtime.any.system.reflection.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.resources.resourcemanager/4.3.0/runtime.any.system.resources.resourcemanager.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.runtime.handles/4.3.0/runtime.any.system.runtime.handles.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.runtime.interopservices/4.3.0/runtime.any.system.runtime.interopservices.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.runtime/4.3.0/runtime.any.system.runtime.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.text.encoding.extensions/4.3.0/runtime.any.system.text.encoding.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.text.encoding/4.3.0/runtime.any.system.text.encoding.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.threading.tasks/4.3.0/runtime.any.system.threading.tasks.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.any.system.threading.timer/4.3.0/runtime.any.system.threading.timer.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.io.compression/4.1.0/runtime.native.system.io.compression.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.net.http/4.0.1/runtime.native.system.net.http.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.security.cryptography.openssl/4.3.0/runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system.security.cryptography/4.0.0/runtime.native.system.security.cryptography.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system/4.0.0/runtime.native.system.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.native.system/4.3.0/runtime.native.system.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl/4.3.0/runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.microsoft.win32.primitives/4.3.0/runtime.unix.microsoft.win32.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.console/4.3.0/runtime.unix.system.console.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.diagnostics.debug/4.3.0/runtime.unix.system.diagnostics.debug.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.io.filesystem/4.3.0/runtime.unix.system.io.filesystem.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.net.primitives/4.3.0/runtime.unix.system.net.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.net.sockets/4.3.0/runtime.unix.system.net.sockets.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.private.uri/4.3.0/runtime.unix.system.private.uri.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/runtime.unix.system.runtime.extensions/4.3.0/runtime.unix.system.runtime.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.appcontext/4.1.0/system.appcontext.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.buffers/4.0.0/system.buffers.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.buffers/4.3.0/system.buffers.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.concurrent/4.0.12/system.collections.concurrent.4.0.12.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.immutable/1.2.0/system.collections.immutable.1.2.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.nongeneric/4.0.1/system.collections.nongeneric.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.nongeneric/4.3.0/system.collections.nongeneric.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.specialized/4.0.1/system.collections.specialized.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.collections.specialized/4.3.0/system.collections.specialized.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.collections/4.0.11/system.collections.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.collections/4.3.0/system.collections.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.eventbasedasync/4.0.11/system.componentmodel.eventbasedasync.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.eventbasedasync/4.3.0/system.componentmodel.eventbasedasync.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.primitives/4.1.0/system.componentmodel.primitives.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.primitives/4.3.0/system.componentmodel.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.typeconverter/4.1.0/system.componentmodel.typeconverter.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel.typeconverter/4.3.0/system.componentmodel.typeconverter.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel/4.0.1/system.componentmodel.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.componentmodel/4.3.0/system.componentmodel.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.configuration.configurationmanager/6.0.0/system.configuration.configurationmanager.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.console/4.0.0/system.console.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.debug/4.0.11/system.diagnostics.debug.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.debug/4.3.0/system.diagnostics.debug.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.diagnosticsource/4.0.0/system.diagnostics.diagnosticsource.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.process/4.1.0/system.diagnostics.process.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.process/4.3.0/system.diagnostics.process.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.textwritertracelistener/4.0.0/system.diagnostics.textwritertracelistener.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tools/4.0.1/system.diagnostics.tools.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tracesource/4.0.0/system.diagnostics.tracesource.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tracing/4.1.0/system.diagnostics.tracing.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.diagnostics.tracing/4.3.0/system.diagnostics.tracing.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.drawing.common/6.0.0/system.drawing.common.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.dynamic.runtime/4.0.11/system.dynamic.runtime.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization.calendars/4.0.1/system.globalization.calendars.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization.extensions/4.0.1/system.globalization.extensions.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization.extensions/4.3.0/system.globalization.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization/4.0.11/system.globalization.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.globalization/4.3.0/system.globalization.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io.compression.zipfile/4.0.1/system.io.compression.zipfile.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.io.compression/4.1.0/system.io.compression.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem.primitives/4.0.1/system.io.filesystem.primitives.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem.primitives/4.3.0/system.io.filesystem.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem/4.0.1/system.io.filesystem.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.io.filesystem/4.3.0/system.io.filesystem.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io/4.1.0/system.io.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.io/4.3.0/system.io.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.linq.async/6.0.1/system.linq.async.6.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.linq.expressions/4.1.0/system.linq.expressions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.linq/4.1.0/system.linq.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.linq/4.3.0/system.linq.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.net.http/4.1.0/system.net.http.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.net.nameresolution/4.3.0/system.net.nameresolution.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.net.primitives/4.0.11/system.net.primitives.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.net.sockets/4.1.0/system.net.sockets.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.objectmodel/4.0.12/system.objectmodel.4.0.12.nupkg https://api.nuget.org/v3-flatcontainer/system.private.datacontractserialization/4.1.1/system.private.datacontractserialization.4.1.1.nupkg https://api.nuget.org/v3-flatcontainer/system.private.uri/4.3.0/system.private.uri.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reactive/4.4.1/system.reactive.4.4.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.emit.ilgeneration/4.0.1/system.reflection.emit.ilgeneration.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.emit.lightweight/4.0.1/system.reflection.emit.lightweight.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.emit/4.0.1/system.reflection.emit.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.extensions/4.0.1/system.reflection.extensions.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.extensions/4.3.0/system.reflection.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.metadata/1.3.0/system.reflection.metadata.1.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.primitives/4.0.1/system.reflection.primitives.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.primitives/4.3.0/system.reflection.primitives.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.typeextensions/4.1.0/system.reflection.typeextensions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection.typeextensions/4.3.0/system.reflection.typeextensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection/4.1.0/system.reflection.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.reflection/4.3.0/system.reflection.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.resources.resourcemanager/4.0.1/system.resources.resourcemanager.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.resources.resourcemanager/4.3.0/system.resources.resourcemanager.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.caching/6.0.0/system.runtime.caching.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.extensions/4.1.0/system.runtime.extensions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.extensions/4.3.0/system.runtime.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.handles/4.0.1/system.runtime.handles.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.handles/4.3.0/system.runtime.handles.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices.runtimeinformation/4.0.0/system.runtime.interopservices.runtimeinformation.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices.runtimeinformation/4.3.0/system.runtime.interopservices.runtimeinformation.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices/4.1.0/system.runtime.interopservices.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.interopservices/4.3.0/system.runtime.interopservices.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.loader/4.0.0/system.runtime.loader.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.numerics/4.0.1/system.runtime.numerics.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.serialization.json/4.0.2/system.runtime.serialization.json.4.0.2.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime.serialization.primitives/4.1.1/system.runtime.serialization.primitives.4.1.1.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime/4.1.0/system.runtime.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.runtime/4.3.0/system.runtime.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.accesscontrol/6.0.0/system.security.accesscontrol.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.claims/4.3.0/system.security.claims.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.algorithms/4.2.0/system.security.cryptography.algorithms.4.2.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.cng/4.2.0/system.security.cryptography.cng.4.2.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.csp/4.0.0/system.security.cryptography.csp.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.encoding/4.0.0/system.security.cryptography.encoding.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.openssl/4.0.0/system.security.cryptography.openssl.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.primitives/4.0.0/system.security.cryptography.primitives.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.protecteddata/6.0.0/system.security.cryptography.protecteddata.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.cryptography.x509certificates/4.1.0/system.security.cryptography.x509certificates.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.permissions/6.0.0/system.security.permissions.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.principal.windows/4.3.0/system.security.principal.windows.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.security.principal/4.3.0/system.security.principal.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding.extensions/4.0.11/system.text.encoding.extensions.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding.extensions/4.3.0/system.text.encoding.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding/4.0.11/system.text.encoding.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.text.encoding/4.3.0/system.text.encoding.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.regularexpressions/4.1.0/system.text.regularexpressions.4.1.0.nupkg https://api.nuget.org/v3-flatcontainer/system.text.regularexpressions/4.3.0/system.text.regularexpressions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks.extensions/4.0.0/system.threading.tasks.extensions.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks.extensions/4.3.0/system.threading.tasks.extensions.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks/4.0.11/system.threading.tasks.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.tasks/4.3.0/system.threading.tasks.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.thread/4.0.0/system.threading.thread.4.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.thread/4.3.0/system.threading.thread.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.threadpool/4.0.10/system.threading.threadpool.4.0.10.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.threadpool/4.3.0/system.threading.threadpool.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.threading.timer/4.0.1/system.threading.timer.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.threading/4.0.11/system.threading.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.threading/4.3.0/system.threading.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.windows.extensions/6.0.0/system.windows.extensions.6.0.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.readerwriter/4.0.11/system.xml.readerwriter.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.readerwriter/4.3.0/system.xml.readerwriter.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xdocument/4.0.11/system.xml.xdocument.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xmldocument/4.0.1/system.xml.xmldocument.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xmldocument/4.3.0/system.xml.xmldocument.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xmlserializer/4.0.11/system.xml.xmlserializer.4.0.11.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath.xmldocument/4.0.1/system.xml.xpath.xmldocument.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath.xmldocument/4.3.0/system.xml.xpath.xmldocument.4.3.0.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath/4.0.1/system.xml.xpath.4.0.1.nupkg https://api.nuget.org/v3-flatcontainer/system.xml.xpath/4.3.0/system.xml.xpath.4.3.0.nupkg
 _eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	dotnet-pkg	149be926006315896e1a57f36db1b772	dotnet-pkg-base	6c5f563c6f9f99038ac0ddf7403e3b55	edo	a5e294016aa84979fcb2459749eb80b2	multiprocessing	1e32df7deee68372153dca65f4a7c21f	nuget	5b6663023b71fb1220f230ac225205ae
-_md5_=bdd1f822dfde39b4427434cee76ef248
+_md5_=14720f3b8ca026dc4788625dcec71d7a
diff --git a/metadata/md5-cache/dev-lang/clojure-1.12.1 b/metadata/md5-cache/dev-lang/clojure-1.12.1
new file mode 100644
index 0000000000000..e3e14654375cf
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/clojure-1.12.1
@@ -0,0 +1,16 @@
+BDEPEND=>=dev-java/ant-1.10.14-r3
+DEFINED_PHASES=compile install preinst prepare setup test
+DEPEND=>=virtual/jdk-1.8:* >=dev-java/java-config-2.2.0-r3
+DESCRIPTION=General-purpose programming language with an emphasis on functional programming
+EAPI=8
+HOMEPAGE=https://clojure.org/ https://github.com/clojure/clojure/
+INHERIT=java-pkg-2
+IUSE=test
+KEYWORDS=~amd64 ~x86-linux
+LICENSE=EPL-1.0 Apache-2.0 BSD
+RDEPEND=>=virtual/jre-1.8:* >=dev-java/java-config-2.2.0-r3
+RESTRICT=!test? ( test ) !test? ( test )
+SLOT=0/1.12
+SRC_URI=https://github.com/clojure/clojure/archive/clojure-1.12.1.tar.gz https://github.com/clojure/spec.alpha/archive/v0.5.238.tar.gz -> spec.alpha-0.5.238.tar.gz https://github.com/clojure/core.specs.alpha/archive/v0.4.74.tar.gz -> core.specs.alpha-0.4.74.tar.gz test? ( https://github.com/clojure/tools.namespace/archive/v1.5.0.tar.gz -> tools.namespace-1.5.0.tar.gz https://github.com/clojure/java.classpath/archive/v1.1.0.tar.gz -> java.classpath-1.1.0.tar.gz https://github.com/clojure/tools.reader/archive/v1.4.0.tar.gz -> tools.reader-1.4.0.tar.gz https://github.com/clojure/test.generative/archive/v1.1.0.tar.gz -> test.generative-1.1.0.tar.gz https://github.com/clojure/data.generators/archive/v1.1.0.tar.gz -> data.generators-1.1.0.tar.gz https://github.com/clojure/test.check/archive/v1.1.1.tar.gz -> test.check-1.1.1.tar.gz )
+_eclasses_=java-pkg-2	38fd81c7880666a00a638ca8deb64d72	java-utils-2	e2cdf66cd9c826ccda532772976d342d
+_md5_=51b6bb5b133bd011673099bcaa279855
diff --git a/metadata/md5-cache/dev-lang/typescript-5.8.2 b/metadata/md5-cache/dev-lang/typescript-5.9.2
index 34a95359eddd3..bb0bb679bd247 100644
--- a/metadata/md5-cache/dev-lang/typescript-5.8.2
+++ b/metadata/md5-cache/dev-lang/typescript-5.9.2
@@ -3,9 +3,9 @@ DEFINED_PHASES=compile install
 DESCRIPTION=Superset of JavaScript with optional static typing, classes and interfaces
 EAPI=8
 HOMEPAGE=https://www.typescriptlang.org/ https://github.com/microsoft/TypeScript/
-KEYWORDS=amd64 ~arm64 ~ppc64
+KEYWORDS=~amd64 ~arm64 ~ppc64
 LICENSE=Apache-2.0
 RDEPEND=net-libs/nodejs
 SLOT=0
-SRC_URI=https://registry.npmjs.org/typescript/-/typescript-5.8.2.tgz
-_md5_=f4d59627cc5293ae07b7c5455778de75
+SRC_URI=https://registry.npmjs.org/typescript/-/typescript-5.9.2.tgz
+_md5_=3533ad95df7736db23b7df1e0a95833a
diff --git a/metadata/md5-cache/dev-python/Manifest.gz b/metadata/md5-cache/dev-python/Manifest.gz
index 249e856d604af..caed5535f505b 100644
--- a/metadata/md5-cache/dev-python/Manifest.gz
+++ b/metadata/md5-cache/dev-python/Manifest.gz
diff --git a/metadata/md5-cache/dev-python/ytmusicapi-1.11.0 b/metadata/md5-cache/dev-python/ytmusicapi-1.11.0
new file mode 100644
index 0000000000000..ba7ac48dda7b1
--- /dev/null
+++ b/metadata/md5-cache/dev-python/ytmusicapi-1.11.0
@@ -0,0 +1,16 @@
+BDEPEND=doc? ( || ( ( dev-lang/python:3.13 >=dev-python/sphinx-8.1.3[python_targets_python3_13(-)] dev-python/sphinx-rtd-theme[python_targets_python3_13(-)] ) ( dev-lang/python:3.12 >=dev-python/sphinx-8.1.3[python_targets_python3_12(-)] dev-python/sphinx-rtd-theme[python_targets_python3_12(-)] ) ( dev-lang/python:3.11 >=dev-python/sphinx-8.1.3[python_targets_python3_11(-)] dev-python/sphinx-rtd-theme[python_targets_python3_11(-)] ) ) ) python_targets_python3_11? ( dev-lang/python:3.11 ) python_targets_python3_12? ( dev-lang/python:3.12 ) python_targets_python3_13? ( dev-lang/python:3.13 ) >=dev-python/gpep517-16[python_targets_python3_11(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?] >=dev-python/setuptools-78.1.0[python_targets_python3_11(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?]
+DEFINED_PHASES=compile configure install prepare test
+DESCRIPTION=Unofficial API for YouTube Music
+EAPI=8
+HOMEPAGE=https://ytmusicapi.readthedocs.io/ https://github.com/sigma67/ytmusicapi/
+INHERIT=distutils-r1 pypi
+IUSE=doc python_targets_python3_11 python_targets_python3_12 python_targets_python3_13
+KEYWORDS=~amd64 ~x86
+LICENSE=MIT
+RDEPEND=dev-python/requests[python_targets_python3_11(-)?,python_targets_python3_12(-)?,python_targets_python3_13(-)?] python_targets_python3_11? ( dev-lang/python:3.11 ) python_targets_python3_12? ( dev-lang/python:3.12 ) python_targets_python3_13? ( dev-lang/python:3.13 )
+REQUIRED_USE=|| ( python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://files.pythonhosted.org/packages/source/y/ytmusicapi/ytmusicapi-1.11.0.tar.gz
+_eclasses_=distutils-r1	2b2c8cb98d56555491868decc50e5a56	flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multibuild	4650a65187015567b4e041bb9bfdb364	multilib	b2a329026f2e404e9e371097dda47f96	multiprocessing	1e32df7deee68372153dca65f4a7c21f	ninja-utils	2df4e452cea39a9ec8fb543ce059f8d6	out-of-source-utils	dbf9e34ee8964084651e25907fa8f52c	pypi	ad1b21f87d117ae9bb089bdb65b8f013	python-r1	0e15b2ab9cfc87d7474678201d6bca38	python-utils-r1	8a006695bc0db22490452dd06914dda5	toolchain-funcs	a0b29008c671a362b505f96fa80ce9c0
+_md5_=0165635fed5229863f24579be5454bda
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 304cb9877e9f4..e9f4b15b3ac8c 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
diff --git a/metadata/md5-cache/sci-mathematics/flint-3.3.1 b/metadata/md5-cache/sci-mathematics/flint-3.3.1
index b2a88eed154b9..91095c5ff647c 100644
--- a/metadata/md5-cache/sci-mathematics/flint-3.3.1
+++ b/metadata/md5-cache/sci-mathematics/flint-3.3.1
@@ -13,4 +13,4 @@ RESTRICT=!test? ( test )
 SLOT=0/19
 SRC_URI=https://github.com/flintlib/flint/releases/download/v3.3.1/flint-3.3.1.tar.xz
 _eclasses_=flag-o-matic	a7afe42e95fb46ce9691605acfb24672	multiprocessing	1e32df7deee68372153dca65f4a7c21f	python-any-r1	891415dfe39ad9b41b461f2b86354af0	python-utils-r1	8a006695bc0db22490452dd06914dda5	toolchain-funcs	a0b29008c671a362b505f96fa80ce9c0
-_md5_=cf0b90eaa814e6df18737132b25e768e
+_md5_=26b23003cf73296dd27e0f615641e44b
diff --git a/metadata/md5-cache/sci-mathematics/kissat-3.1.0 b/metadata/md5-cache/sci-mathematics/kissat-3.1.0
deleted file mode 100644
index 098c233234db3..0000000000000
--- a/metadata/md5-cache/sci-mathematics/kissat-3.1.0
+++ /dev/null
@@ -1,12 +0,0 @@
-DEFINED_PHASES=compile configure install
-DESCRIPTION=Keep-it-simple and clean bare metal SAT solver written in C
-EAPI=8
-HOMEPAGE=http://fmv.jku.at/kissat/ https://github.com/arminbiere/kissat/
-INHERIT=toolchain-funcs
-KEYWORDS=~amd64 ~x86
-LICENSE=MIT
-RDEPEND=!>=x11-terms/kitty-0.27
-SLOT=0
-SRC_URI=https://github.com/arminbiere/kissat/archive/rel-3.1.0.tar.gz -> kissat-3.1.0.tar.gz
-_eclasses_=toolchain-funcs	a0b29008c671a362b505f96fa80ce9c0
-_md5_=3493019dffa5ff2a4bf747dfb58d6bd6
diff --git a/metadata/md5-cache/sci-mathematics/kissat-3.1.1 b/metadata/md5-cache/sci-mathematics/kissat-3.1.1-r1
index 7589c67cbf5b0..d8a151089524e 100644
--- a/metadata/md5-cache/sci-mathematics/kissat-3.1.1
+++ b/metadata/md5-cache/sci-mathematics/kissat-3.1.1-r1
@@ -9,4 +9,4 @@ RDEPEND=!>=x11-terms/kitty-0.27
 SLOT=0
 SRC_URI=https://github.com/arminbiere/kissat/archive/rel-3.1.1.tar.gz -> kissat-3.1.1.tar.gz
 _eclasses_=toolchain-funcs	a0b29008c671a362b505f96fa80ce9c0
-_md5_=3493019dffa5ff2a4bf747dfb58d6bd6
+_md5_=99e6e0d2a2a7e715363ca4c0682cb2b8
diff --git a/metadata/news/Manifest b/metadata/news/Manifest
index eafa18efb91c2..286fb1038693a 100644
--- a/metadata/news/Manifest
+++ b/metadata/news/Manifest
@@ -2,22 +2,22 @@
 Hash: SHA512
 
 MANIFEST Manifest.files.gz 20529 BLAKE2B ad11c6acf258eb0b9fd5cf7392916fd9cccc5e1ba43f95930abc916b632d0db3d2c6d1f1d911cd10caed9c4ec18e07e1e617308a799bab549af30d838595bb61 SHA512 1410fcdc56b5bf17fa0b9bf4d697d8ea6f4d06a823a21e2f5c4257772f932b6709c7259f0c0510b78556f9b1a4bc22db9b8dca4d420fa7a2a6eb67ee0372a2ec
-TIMESTAMP 2025-08-01T17:10:35Z
+TIMESTAMP 2025-08-01T17:40:32Z
 -----BEGIN PGP SIGNATURE-----
 
-iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmiM9QtfFIAAAAAALgAo
+iQKTBAEBCgB9FiEE4dartjv8+0ugL98c7FkO6skYklAFAmiM/BBfFIAAAAAALgAo
 aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUx
 RDZBQkI2M0JGQ0ZCNEJBMDJGREYxQ0VDNTkwRUVBQzkxODkyNTAACgkQ7FkO6skY
-klDjuA/+I34hXFlJ2OhRnTDVnAw19+aZyOr3YQBzIJqhxpYBLcsLqohIAnbfvyVh
-ixMS6KFu2/y40fyieskuANP30/bb9PxklbOj7DoU4GXRO/KAZTYjUE/G8WieV1Ou
-TLugZstbof78GiIh4AnILce2p+gN+90OWwHkxFkMbDWctLlu5FFpW7H8dIRd9iUb
-jZ7lRuSeabVMUgI6HNS5ARs9BeS8QFsmMWdXIY3m/6+wUeaIQUBobKxrWHmLvTTY
-S59f8cYvF7BW2D9Mve6B0WAOsj68zGAhLQUGtVwLiEvuZhKf+gxduW+Mf1JYmqwq
-O9YwTa7LGcQR+IIp0KMp5pDobOgcZ3sG4IC3j8WR8u+Dws2JuO0VNSyQL6dvpNkH
-aADhF77ZTNKl/vYCMzjrP9l620lNlxbHBF6hDH9RsuisxS18eJk1NFfp+MP9uSc5
-z0FFsO0hxueWNl4pHbxF2KKDJDfIPVzuwNH5UlVDvcFiSTHtNkw5HNryKp2n9t9X
-bRb2KZaFdXrnPauHVzLrg7Y8nB5rdv2f5q7vRKAoy1OhiLGxVxWFHVuEC1qk35bz
-O6aFyf7rNBoa78EVnO4r/FPpsxKqJLuDz7M5kZgYxmhL9M5qeOTZFeGywB5kF3DU
-5xTIpJSvzLdJNR4+m+RgpPwLMp4gbbvzns+S9eT7hpZPj1IHJj4=
-=6pqY
+klCKMg/+KLxWl6zsmUwv0wdCQxQ45xHsqD3QPKngKfJPA9RLDzj8FlCr35Mq2bxd
+8HK05uuRNUVMIMCssUAaJ4rwqZ/jawXFp2ynfkPMIyQ7h2roDMj6F6HA0Ye3O6Ie
+f5r0DZw6y+2+KMnTRZVYStfxeIhWBVKNDEACnYmXNb3PiJ+h7W0eXULP5d2Dj2Qi
+OoaG0dfAXix7fBLQ0+Came3Urnae+X7AauPGTNuWcciBuOplAeMMIuJXogIqAeAX
+UMvu79HGTMLv+ES/j1KNht/F/6bb4o145Au0pxC8CYFws4kfApiQhIyTj4AAoLS+
+fobA8PQ5FF4JLlNvOlSF1J5AcOZmGKJfgiqQwo9dBTKCHm69cY05QhbnW5lmmXqI
+9IXO/7dKaya7a4NPOQPzAUga65gJq6XSpFysY3k+ozzSZWWt8092s7UgLQ9eYVwx
+0u7iLuQk2XV6dVPEbfhvgQ/7OOLQoSdfO+/WY2Rw/CkZKGHXdJ4pchHS4BsGnzFh
+Rbvgx4dBoN05OYaDEqzmbB7F7CP5AVEsMj8b9e/faQG8Kyk9QUnHMF5BntwXzsVq
+iDANhacEbgBMoXdE0OUBSNQbDLsAyXlLr/qckm/b3dDRFa/QzmIyDqV4DgoETFmg
+cwb9w2dUDctjYEbLkOR32pf4NpWxEMgytEqk5aWR+x+xtriviO8=
+=ybWN
 -----END PGP SIGNATURE-----
diff --git a/metadata/news/timestamp.chk b/metadata/news/timestamp.chk
index 5168abb33686b..40c285e4bedb4 100644
--- a/metadata/news/timestamp.chk
+++ b/metadata/news/timestamp.chk
@@ -1 +1 @@
-Fri, 01 Aug 2025 17:10:28 +0000
+Fri, 01 Aug 2025 17:40:28 +0000
diff --git a/metadata/timestamp b/metadata/timestamp
index 2859bfb6b52a0..0ab55850270dc 100644
--- a/metadata/timestamp
+++ b/metadata/timestamp
@@ -1 +1 @@
-Fri Aug  1 05:10:28 PM UTC 2025
+Fri Aug  1 05:40:27 PM UTC 2025
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index 68ebe7c0e7cb8..b528059cecb96 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Fri, 01 Aug 2025 17:15:00 +0000
+Fri, 01 Aug 2025 17:45:00 +0000
diff --git a/metadata/timestamp.commit b/metadata/timestamp.commit
index 3993479880474..ef3b3b50f328b 100644
--- a/metadata/timestamp.commit
+++ b/metadata/timestamp.commit
@@ -1 +1 @@
-27dbd3dc63db7294843cd0078caf0152a76e8d85 1754067834 2025-08-01T17:03:54Z
+f21f28c95607e02b46710b042d1410df50da3fec 1754068458 2025-08-01T17:14:18Z
diff --git a/metadata/timestamp.x b/metadata/timestamp.x
index a604328aa32da..aeeb2305d433c 100644
--- a/metadata/timestamp.x
+++ b/metadata/timestamp.x
@@ -1 +1 @@
-1754068200 Fri 01 Aug 2025 05:10:00 PM UTC
+1754070000 Fri 01 Aug 2025 05:40:00 PM UTC
diff --git a/metadata/xml-schema/timestamp.chk b/metadata/xml-schema/timestamp.chk
index 5168abb33686b..40c285e4bedb4 100644
--- a/metadata/xml-schema/timestamp.chk
+++ b/metadata/xml-schema/timestamp.chk
@@ -1 +1 @@
-Fri, 01 Aug 2025 17:10:28 +0000
+Fri, 01 Aug 2025 17:40:28 +0000
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index a15d4a0a80941..66a290cd17500 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest
index d05fa5f810b95..cffdc801e6af5 100644
--- a/sci-mathematics/flint/Manifest
+++ b/sci-mathematics/flint/Manifest
@@ -6,5 +6,5 @@ AUX flint-3.3.1-find-cblas.patch 1802 BLAKE2B 1b4acef6463ef8f214f581ce71db4be6e5
 DIST flint-3.1.3_p1.tar.xz 5657304 BLAKE2B 7a76cbd7e3ea6ecfb4728545c427eba48ab476b257316792305522770e03b335d558cc104bac50b1faf2e8e25663f6ade20eef99e85999f7209091bf3c6e674a SHA512 430e83be2d94c059066b7201319dbbbe414ccd10a4f359a865e54f3912b8b8e8f10dfd36ee81c96335553ee2736cf2ef9e1ffdf488c9706360b9e0e8a50a4eea
 DIST flint-3.3.1.tar.xz 5921132 BLAKE2B 343c4e242232024c4177808c838068e75b7a18741bf0be2378e4245e490c1a110632033bdaaea4e4f6388e2ca0a324650539c657394291e0d1af144c87926ccc SHA512 48013c36a4d1d79ac73b6a08f3b5238bade9110aee1aa2dd3f29e3257ee48bbdb8a18598de907511829d73ee9360cece52263475ceeb556a26c9b2f4d3065ef1
 EBUILD flint-3.1.3_p1-r4.ebuild 3059 BLAKE2B c7d4546ac481815a4a691f9944b789659c2721caaede3ad24e9e2c2c6c4476950114295ccfcfcc245be9bc54bce11348ab3acb7b2f53573d8a4df04f5bfb58cc SHA512 8b04b304fc372893e73e9cdc2fb120e2333cef53261d16cbec9ceb98bf059953d2de7ce69b027bc5205e1f15c1c53de99b98ea1676f123c30c538fcde4f9c38b
-EBUILD flint-3.3.1.ebuild 2858 BLAKE2B ea4f4979079d6a3eed46c66b27bf7109f9dd901b88b97244c8208cdac70957c7ab8390283367c02a2bf0e166b429e3f369564012140d3bdafdc8d5758755c4b6 SHA512 877442496bbfaf70128be764a8ce0f66e90fc7b0ae29e043edf21edf0e4f203fef599a08638de6428610e306cfbcc71b24308f434ee4150598e73a1057454a1c
+EBUILD flint-3.3.1.ebuild 2858 BLAKE2B 13841bdb0e83176bb6a3b0ef18ee56889c848d37c918b8b2ec6b868671999fa73ae9c920ad14e2b89240a5d1b3cb39393b5afc02e0ba33d35589918127db5b73 SHA512 90d9b57511bb3ede30429e4c2b031f864d020e8b529d2cc44a65e009aaaf1893681f5c7972483ecf7b55e61038f2b8267cb9fac3d7cdbe8ca97611089d01f631
 MISC metadata.xml 640 BLAKE2B b95d6f493564025e43604bffa340fffd88fcedf29c282fcc3c18e08ac089cdf1e10837787af664dd250a77a62237bf3665ff0a3045ca52680dd67aa0b39eeba7 SHA512 a9a64076e7f0df29e6a05a9d349c530a4ee4285b6a444425681eddf6ae1e8b41f610fda0bd7cc86b5177b36f34bc3072b67c7edac2cc8c0709a032b000576a14
diff --git a/sci-mathematics/flint/flint-3.3.1.ebuild b/sci-mathematics/flint/flint-3.3.1.ebuild
index 69093d36c7086..992a6ebb4cc57 100644
--- a/sci-mathematics/flint/flint-3.3.1.ebuild
+++ b/sci-mathematics/flint/flint-3.3.1.ebuild
@@ -93,7 +93,7 @@ src_configure() {
 		HTML_DOCS="doc/build/html/*.html
 			doc/build/html/*.js
 			doc/build/html/_static"
-		DOCS+=" doc/build/latex/Flint.pdf"
+		DOCS+=" doc/build/latex/flint.pdf"
 	fi
 }
 
diff --git a/sci-mathematics/kissat/Manifest b/sci-mathematics/kissat/Manifest
index e6db84e411611..d9962f689461b 100644
--- a/sci-mathematics/kissat/Manifest
+++ b/sci-mathematics/kissat/Manifest
@@ -1,5 +1,3 @@
-DIST kissat-3.1.0.tar.gz 470710 BLAKE2B bd79a480209d6ff35aa431dc294018cd78ef06e5f6c431fcd23206a72183c3f18eb4a4b9b57f471f2edc7c9224a52d00ae1d75f6c9af050b1fa7e667776932a7 SHA512 226090d4e8c42197709e08341dd4623cbf7e63f2fee72e59305ab7643c3e59cfc1f9f3abb5a766e3572137b45018ed788bbdfb486e6b8d86a7317f959358f2e8
 DIST kissat-3.1.1.tar.gz 471004 BLAKE2B ce98105f2701e9dfab8dc555ace2d6891015e25bd23f09c1b2706ddb757f7580a555bdc20340d6880f2c4a0c786a71fd16466ab06a9c7499c81e4832665ce6c3 SHA512 f1f1e20a48a682ba5e0cbc938136421a95131e4bde058002ee2ab763f565105765a63d4c0d031f84b76a0bed4d5902a8120666c9a98fc541acb68009f6e503ed
-EBUILD kissat-3.1.0.ebuild 807 BLAKE2B 92016c0e2616ec1546e83e6e5d81d8c308eefd06a9dc2b3eb7e206d718fbebacdaf3efc664dbf16b6d80a2011bfa0a63284aa7fafc2a58dde2ce70f7e0bd8188 SHA512 3ded71ded97147212c4cf5b65e55e076d7adf9a7e6bcf5235afff97aea4634384baa42c5fd9054efd46c825789666b2e2a34d84f9b0d7cf3dd61d5c935b8c930
-EBUILD kissat-3.1.1.ebuild 807 BLAKE2B 92016c0e2616ec1546e83e6e5d81d8c308eefd06a9dc2b3eb7e206d718fbebacdaf3efc664dbf16b6d80a2011bfa0a63284aa7fafc2a58dde2ce70f7e0bd8188 SHA512 3ded71ded97147212c4cf5b65e55e076d7adf9a7e6bcf5235afff97aea4634384baa42c5fd9054efd46c825789666b2e2a34d84f9b0d7cf3dd61d5c935b8c930
+EBUILD kissat-3.1.1-r1.ebuild 780 BLAKE2B 6b647fd3604e6f34ce14fdebfee571683b8f97699c993a5e135dad0ca41009feff85548fe9ac6e03b96dd4f0e3ef43bb789503c3048144644a410eb5c7d39469 SHA512 a5549fe9249dccd6bd7ad44c4a4c7d4a571560fa3367c575d559e0f920b43b5f14b46d03a3c831e13bacf48632762e6ab251b6ae04c3af6254e172fa2f7bd968
 MISC metadata.xml 762 BLAKE2B 95fefd93903442e9c5c6881127d734899535b35ffcef1e9082502774849d5b04aeb7f5f5d53b2dfc899f9b503fce0785ec5f3e8fab580965636bbb17775b10e5 SHA512 441d510f122197141ce7a4140023d858c6dbb41bd8f8ea5b8466aaa4864b51df019d0759cdf54de51eb89bf4f421fbdf8937e6349b2100cb1e92d5b8f9556c26
diff --git a/sci-mathematics/kissat/kissat-3.1.0.ebuild b/sci-mathematics/kissat/kissat-3.1.1-r1.ebuild
index 4c1fed10488f7..3bc20c8f7ca9a 100644
--- a/sci-mathematics/kissat/kissat-3.1.0.ebuild
+++ b/sci-mathematics/kissat/kissat-3.1.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -32,7 +32,6 @@ src_compile() {
 }
 
 src_install() {
-	dolib.a build/libkissat.a
 	exeinto /usr/bin/
 	doexe build/{kissat,kitten}
 	dodoc CONTRIBUTING NEWS.md README.md
diff --git a/sci-mathematics/kissat/kissat-3.1.1.ebuild b/sci-mathematics/kissat/kissat-3.1.1.ebuild
deleted file mode 100644
index 4c1fed10488f7..0000000000000
--- a/sci-mathematics/kissat/kissat-3.1.1.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="Keep-it-simple and clean bare metal SAT solver written in C"
-HOMEPAGE="http://fmv.jku.at/kissat/
-	https://github.com/arminbiere/kissat/"
-SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
-	-> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-rel-${PV}
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-RDEPEND="!>=x11-terms/kitty-0.27"
-
-src_configure() {
-	local myopts=(
-		CC="$(tc-getCC) ${CFLAGS} ${LDFLAGS}"
-		--kitten
-		--statistics
-	)
-	sh ./configure "${myopts[@]}" || die
-}
-
-src_compile() {
-	emake AR="$(tc-getAR)"
-}
-
-src_install() {
-	dolib.a build/libkissat.a
-	exeinto /usr/bin/
-	doexe build/{kissat,kitten}
-	dodoc CONTRIBUTING NEWS.md README.md
-}
author	mirror@stealer.net <mirror@stealer.net>	2025-08-01 18:00:24 +0000
committer	mirror@stealer.net <mirror@stealer.net>	2025-08-01 18:00:24 +0000
commit	8e6dbc5006c565025e259ba9221cdafd3e7df52b (patch)
tree	7117154ef2a724a17800ffbd9d5e72df9d06d886
parent	3461f81ecc725099745a214f77b111e7734a779d (diff)