rpms/why/devel why.spec,1.2,1.3
Jesse Keating
jkeating at fedoraproject.org
Wed Feb 25 18:36:57 UTC 2009
Author: jkeating
Update of /cvs/pkgs/rpms/why/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv1079
Modified Files:
why.spec
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
Index: why.spec
===================================================================
RCS file: /cvs/pkgs/rpms/why/devel/why.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- why.spec 24 Dec 2008 16:37:05 -0000 1.2
+++ why.spec 25 Feb 2009 18:36:27 -0000 1.3
@@ -1,6 +1,6 @@
Name: why
Version: 2.17
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Why software verification platform
Group: Applications/Engineering
@@ -225,6 +225,9 @@
%doc README.why-coq.Fedora
%changelog
+* 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
+
* Wed Dec 24 2008 Alan Dunn <amdunn at gmail.com> 2.17-1
- Upgrade to version 2.17 (bz: 477790)
- Add ownership of two directories common with Coq, but neither program requires the other (bz: 474016)
More information about the scm-commits
mailing list