@ -2,7 +2,7 @@
Name: stp
Version: 0.1
Release: 3%{?dist}
Release: 4%{?dist}
Summary: Constraint solver/decision procedure
Group: Applications/Engineering