diff --git a/.gitignore b/.gitignore
index a3b8ce2..8d4e89a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /gappalib-coq-1.0.0.tar.gz
+/gappalib-coq-1.1.0.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index aacb1ec..a526ebc 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,13 +7,13 @@
 %global coqver 8.4pl6
 
 Name:           gappalib-coq
-Version:        1.0.0
-Release:        21%{?dist}
+Version:        1.1.0
+Release:        1%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
 URL:            http://gappa.gforge.inria.fr/
-Source0:        https://gforge.inria.fr/frs/download.php/32743/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/34875/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq%{?_isa} = %{coqver}
 BuildRequires:  flocq
@@ -84,6 +84,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Mon Jun 22 2015 Jerry James <loganjerry@gmail.com> - 1.1.0-1
+- New upstream release
+
 * Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-21
 - ocaml-4.02.2 rebuild.
 
diff --git a/sources b/sources
index 4d7d486..5f1ca61 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-18feb0593963f909ad540f5f1bde4b02  gappalib-coq-1.0.0.tar.gz
+99563a12195e773da4954087916762af  gappalib-coq-1.1.0.tar.gz