From e294b448f977912a6ccc004ec74fab86ab26c19b Mon Sep 17 00:00:00 2001 From: Python Maint Date: Mon, 13 Jun 2022 19:52:43 +0200 Subject: [PATCH] Rebuilt for Python 3.11 --- cvc4.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/cvc4.spec b/cvc4.spec index 0fca438..89cf544 100644 --- a/cvc4.spec +++ b/cvc4.spec @@ -3,7 +3,7 @@ Name: cvc4 Version: 1.8 -Release: 10%{?dist} +Release: 11%{?dist} Summary: Automatic theorem prover for SMT problems %global jar_version %{version}.0 @@ -258,6 +258,9 @@ export LD_LIBRARY_PATH=%{buildroot}%{_libdir} %{python3_sitearch}/pycvc4* %changelog +* Mon Jun 13 2022 Python Maint - 1.8-11 +- Rebuilt for Python 3.11 + * Fri Mar 4 2022 Jerry James - 1.8-10 - Remove . from %%cmake invocation to fix FTBFS (rhbz#2060821) - Drop -const-map-key patch now that gcc has been fixed