From 82dc51b4816f82e4428e80302c9fc6f68d8d32c3 Mon Sep 17 00:00:00 2001
From: Alan Dunn <amdunn@fedoraproject.org>
Date: Jul 20 2008 09:33:24 +0000
Subject: Fixing version numbers for F-8 < F-9 < F-10. (Next time will minor bump F-8

    to <>.1 for less effort.)

---

diff --git a/coq.spec b/coq.spec
index b19654d..cc2ddc9 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,13 +18,14 @@
 #
 # It appears as though ALL of these are necessary to prevent unwanted
 # stripping
+
 %define __os_install_post /usr/lib/rpm/brp-compress %{nil}
 %define _enable_debug_package 0
 %define debug_package %{nil}
 
 Name:		coq
 Version:	8.1pl3
-Release:	1%{?dist}
+Release:	2%{?dist}
 Summary:	Coq proof management system
 
 Group:		Applications/Engineering
@@ -46,8 +47,15 @@ Patch1:		cmxa-install.patch
 Patch2:		makefile-strip.patch
 Patch3:		check.patch
 BuildRoot:	%{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
-BuildRequires:	ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs, texlive-latex, texlive-texmf
-# ExcludeArch:	ppc64
+BuildRequires:	ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs
+
+%if 0%{?fedora} < 9
+BuildRequires: tetex, tetex-latex
+# There's no ocaml-camlp5-devel for ppc64 in Fedora <= 8
+ExcludeArch: ppc64
+%else
+BuildRequires: texlive-latex, texlive-texmf
+%endif
 
 %description
 Coq is a formal proof management system. It allows for the development
@@ -284,5 +292,7 @@ rm -rf %{buildroot}
 %doc README.coq-emacs
 
 %changelog
+* Thu Jul 17 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-2
+- Added check for Fedora distribution number to allow for Fedora 8 release.
 * Wed Jun 14 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-1
 - Initial Fedora RPM version.
diff --git a/import.log b/import.log
index 309851c..92d6d0d 100644
--- a/import.log
+++ b/import.log
@@ -1 +1,2 @@
 coq-8_1pl3-1_fc9:HEAD:coq-8.1pl3-1.fc9.src.rpm:1216233878
+coq-8_1pl3-2_fc10:HEAD:coq-8.1pl3-2.fc10.src.rpm:1216546261