diff --git a/ppl.spec b/ppl.spec index 2ef5060..9f158a9 100644 --- a/ppl.spec +++ b/ppl.spec @@ -1,8 +1,8 @@ #%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) Name: ppl -Version: 0.10.3 -Release: 2%{?dist} +Version: 0.10.2 +Release: 3%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries