rpms/why/devel why.spec,1.3,1.4

[Jesse Keating]

Author: jkeating

Update of /cvs/pkgs/rpms/why/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv10710

Modified Files:
	why.spec 
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild


Index: why.spec
===================================================================
RCS file: /cvs/pkgs/rpms/why/devel/why.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- why.spec	25 Feb 2009 18:36:27 -0000	1.3
+++ why.spec	27 Jul 2009 07:15:16 -0000	1.4
@@ -1,6 +1,6 @@
 Name:		why
 Version:	2.17
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Why software verification platform
 
 Group:		Applications/Engineering
@@ -225,6 +225,9 @@ rm -rf %{buildroot}
 %doc README.why-coq.Fedora
 
 %changelog
+* Mon Jul 27 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.17-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
 * Wed Feb 25 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.17-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild