diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-04-23 08:04:22 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-04-23 08:04:22 +0000 |
| commit | 24c20217ac6a4298819ea91f8630f43b3a8579be (patch) | |
| tree | da67fd7e08ecf1d3203a919a44247b5026e05441 | |
| parent | 56b0357aa050819d3f191713558544abb0fffabe (diff) | |
automatic import of python-z3-solveropeneuler20.03
| -rw-r--r-- | python-z3-solver.spec | 2 |
1 files changed, 1 insertions, 1 deletions
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 <Python_Bot@openeuler.org> - 4.12.1.0-1 +* Sun Apr 23 2023 Python_Bot <Python_Bot@openeuler.org> - 4.12.1.0-1 - Package Spec generated |