rpms/mona/devel mona.spec,1.3,1.4
Jesse Keating
jkeating at fedoraproject.org
Thu Feb 26 02:22:50 UTC 2009
Author: jkeating
Update of /cvs/pkgs/rpms/mona/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv19758
Modified Files:
mona.spec
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
Index: mona.spec
===================================================================
RCS file: /cvs/pkgs/rpms/mona/devel/mona.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- mona.spec 11 Aug 2008 16:54:41 -0000 1.3
+++ mona.spec 26 Feb 2009 02:22:20 -0000 1.4
@@ -24,7 +24,7 @@
Name: mona
Version: %{upver}r%{uprel}
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: A decision procedure for the WS1S and WS2S logics
Group: Applications/Engineering
@@ -184,6 +184,9 @@
%{xemacs_lispdir}/mona-mode.el
%changelog
+* Wed Feb 25 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.4r13-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
+
* Mon Aug 11 2008 Jerry James <loganjerry at gmail.com> - 1.4r13-1
- Update to 1.4-13
More information about the fedora-extras-commits
mailing list