summaryrefslogtreecommitdiff
path: root/sci-mathematics/boolector
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-01-14 17:52:12 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-01-14 17:52:12 +0000
commita90c84e720803f3d26c0ade8f1f1e405ca97502a (patch)
treef788ea0972d51c66823825021dd83427e1d466c4 /sci-mathematics/boolector
parent07c1e2fbaa2f7d2cad4c16a747cebcf7ae7a6724 (diff)
gentoo auto-resync : 14:01:2023 - 17:52:11
Diffstat (limited to 'sci-mathematics/boolector')
-rw-r--r--sci-mathematics/boolector/Manifest2
-rw-r--r--sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest
index b50d52fc5979..1dfe9a3c7da0 100644
--- a/sci-mathematics/boolector/Manifest
+++ b/sci-mathematics/boolector/Manifest
@@ -1,3 +1,3 @@
DIST boolector-3.2.2_p20220110.tar.gz 1567668 BLAKE2B 6816f0434d88c790a27b9afe4c3b63c18a55b14f9f13b092f2940309e34842fe4868bf8d378bad130c4561d25e7d79b356fc27d9422bd42ba1b74ff98be36f72 SHA512 b1b964c155c8227e631025cf6bff69cf54728b1d875c2bd44a5a1ddb2857de2ab8fefc96d194faa5f98015e730b417d46a415ea601740e890df07ad5e50ad656
-EBUILD boolector-3.2.2_p20220110.ebuild 1853 BLAKE2B 972e208a800622419b316e58f650cdfa1ca09a4f1c3a8c93e0aa46c21e06d6969a1bbba2c27d92bcb164f66a5aa191fae9945768fe50eb3cee63b317ef12e965 SHA512 332a9f958f4cabad89e48f1464a8b19c581eda67c8ac55207c3537c12e100f03cd559c3a661cc23620d55f93676b6a3e3a97ea6dadb50ce2296dad28c504f33e
+EBUILD boolector-3.2.2_p20220110.ebuild 1853 BLAKE2B ce6c51881f4eac8391079374e6f755a87aa671a124df494b8d5e8eae8025d58eeba16aacd5024d09b9c5147809aabc7d79e07fe3d7618b3d9af94d6d158b1542 SHA512 75a526a187f6da54f4c7ef3bba4b34e26c29289086df3c939ff52624145daddd1b192cdb3645282c816f0fa466e32c3ad0f92ce5da546062ed7a5a605c400952
MISC metadata.xml 1245 BLAKE2B a04e1e5a6af857100b8b569f57f4d2610593e9eb741513e4e6405a8fa9828471b92aaa1ad57a3163dc2f251b5664493692f92477b7191621ff8fd76eed9f57e7 SHA512 81257f7be3b21bf10caad654d5747ef2d978c0df5a05049b890420e2d170b7a4fa06151da0604a8b1b6e7daf2fb01344003c9243205a94b4040c580beb414836
diff --git a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
index 4dea772691c8..90a1a2edac2b 100644
--- a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
+++ b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
@@ -4,7 +4,7 @@
EAPI=8
H=13a8a06d561041cafcaf5458e404c1ec354b2841
-PYTHON_COMPAT=( python3_{8..11} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit python-single-r1 cmake