rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Drop unnecessary %python_provide in Rawhide.

This commit is contained in:
Jerry James 2020-07-21 20:55:25 -06:00
parent 1326348b3f
commit afbbbc365e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
z3.spec
View File

@ -81,7 +81,6 @@ Requires: ocaml-%{name}%{?_isa} = %{version}-%{release}
Files for building ocaml applications that use z3.
%package -n python3-%{name}
%{?python_provide:%python_provide python3-%{name}}
Summary: Python 3 interface to z3
Requires: %{name}-libs%{?_isa} = %{version}-%{release}