Commit 3b830ec0 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

fix rpm builds

* Do not hardcode the Python version.
parent 6cfdf02c
Pipeline #4611 canceled with stages
in 49 minutes and 3 seconds
......@@ -116,8 +116,7 @@ Spot allows manipulation of omega-automata as well as linear-time
temporal logic (LTL & PSL).
%files -n python3-spot
%dir %{python3_sitearch}/spot
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment