summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-01-12 19:10:40 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-01-12 19:10:40 +0000
commit4fc30e4e13ecfbe29fbef3b5caf96218eab30b68 (patch)
tree76daccda237a1d7020464e1de2c699391c86cf92 /sci-mathematics/z3
parent4c4e8e9bf6d1ef49be600d77fcbbd7be716aece7 (diff)
gentoo auto-resync : 12:01:2024 - 19:10:40
Diffstat (limited to 'sci-mathematics/z3')
-rw-r--r--sci-mathematics/z3/Manifest2
-rw-r--r--sci-mathematics/z3/z3-4.12.4.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 5e7b0af78400..f2ac093df247 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,3 @@
DIST z3-4.12.4.tar.gz 5471960 BLAKE2B 9c8a65a6632e673e9c7da2ee0e8c8f7d145b906a1c6bdd6df9826fabc31e1c773d3512317ae6278b8a5cb40c580eaff98c37512fb2a2ad17c1c5ada90e0f8026 SHA512 fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
-EBUILD z3-4.12.4.ebuild 2599 BLAKE2B 9ec6152859a7767f54b94021d2c905609860869924df847a2c507bc16f42ec3a1671b3c50b4ea438adcb6314cecfcba3d190c4277f85daa0f5fee83bc6af60b6 SHA512 755dbcb819d28b7296461eb38fe6779da3f753d29c25610e2b81762deb989ee49b9879e498f038d66bfba4e537124637e68e119eb5aae7ccdf4f87098f5db47f
+EBUILD z3-4.12.4.ebuild 2600 BLAKE2B 6789454b941cdac35fc4dcccd28c96ec037f43b336dae6c1c186215bc6de573c26de842aa850e65504b74ca0ac02c58e848d1cf6223bff444c83a7c57090d255 SHA512 ead39d1799eb3c9651635ec2d3395f7a7ce018206c4491b7979a1e05fda7c2f5d95ed4712988ac087948c7cbfe370919c90ed1a60a9d6a7dae7e21b0de565a10
MISC metadata.xml 1800 BLAKE2B 26b4fd829e8daf66cfb19f61afffe9535099260732b3856c400881e68dbc4c2ffe88ff57f3a23449a2259696f23969c6502d4f3432b9cafc2e89e99167c94b90 SHA512 92f05bb1617630c16801ae5ea4215436c4d5dde6890d1a9e90c81f8ce1cddf101b73e016d1ec67eb41ccb4b59753547e6d08ac6a70a5b2d3dc792dc9fba13166
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild b/sci-mathematics/z3/z3-4.12.4.ebuild
index cf753fc55f33..646bf2695514 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -27,7 +27,7 @@ DEPEND="
java? ( >=virtual/jdk-1.8 )
"
BDEPEND="
- doc? ( app-doc/doxygen[dot] )
+ doc? ( app-text/doxygen[dot] )
"
CMAKE_BUILD_TYPE=RelWithDebInfo