From e25adfed67d5fe459597c97190e275e8c0dce90f Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Jun 07 2014 13:22:56 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild


---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index e4d59f1..37b4ef1 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -8,7 +8,7 @@
 
 Name:           gappalib-coq
 Version:        1.0.0
-Release:        9%{?dist}
+Release:        10%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -80,6 +80,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-10
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
 * Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 1.0.0-9
 - Rebuild for coq 8.4pl4