[flocq] Fix broken version numbers in BR and Requires.
Jerry James
jjames at fedoraproject.org
Fri Oct 28 15:25:06 UTC 2011
commit 664ed24b8fbf9ce9ee0b91dab8b77aeb6d417140
Author: Jerry James <loganjerry at gmail.com>
Date: Fri Oct 28 09:24:49 2011 -0600
Fix broken version numbers in BR and Requires.
flocq.spec | 9 ++++++---
1 files changed, 6 insertions(+), 3 deletions(-)
---
diff --git a/flocq.spec b/flocq.spec
index fda2b9d..092f4af 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -5,7 +5,7 @@
Name: flocq
Version: 1.4.0
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Formalization of floating point numbers for Coq
Group: Applications/Engineering
@@ -13,8 +13,8 @@ License: LGPLv3+
URL: http://flocq.gforge.inria.fr/
Source0: https://gforge.inria.fr/frs/download.php/28389/%{name}-%{version}.tar.gz
-BuildRequires: coq
-Requires: coq%{?_isa} = 8.3pl2-3
+BuildRequires: coq%{?_isa} = 8.3pl2
+Requires: coq%{?_isa} = 8.3pl2
# This must match the corresponding line in the coq spec
ExclusiveArch: %{ocaml_arches}
@@ -71,6 +71,9 @@ cp -p src/Prop/*.v $RPM_BUILD_ROOT%{flocqdir}/Prop
%{flocqdir}/Prop/*.v
%changelog
+* Fri Oct 28 2011 Jerry James <loganjerry at gmail.com> - 1.4.0-3
+- Fix broken version numbers in BR and Requires
+
* Wed Oct 26 2011 Jerry James <loganjerry at gmail.com> - 1.4.0-2
- Split out a -devel subpackage
More information about the scm-commits
mailing list