From 24c20217ac6a4298819ea91f8630f43b3a8579be Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Sun, 23 Apr 2023 08:04:22 +0000 Subject: automatic import of python-z3-solver --- python-z3-solver.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'python-z3-solver.spec') diff --git a/python-z3-solver.spec b/python-z3-solver.spec index 9a52d4f..9ab6410 100644 --- a/python-z3-solver.spec +++ b/python-z3-solver.spec @@ -85,5 +85,5 @@ mv %{buildroot}/doclist.lst . %{_docdir}/* %changelog -* Tue Apr 11 2023 Python_Bot - 4.12.1.0-1 +* Sun Apr 23 2023 Python_Bot - 4.12.1.0-1 - Package Spec generated -- cgit v1.2.3