diff --git a/.gitignore b/.gitignore
index 8d4e89a..244daa9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
-/gappalib-coq-1.0.0.tar.gz
 /gappalib-coq-1.1.0.tar.gz
+/gappalib-coq-1.2.0.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 3b45bdc..cfc8fbc 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,13 +7,13 @@
 %global coqver 8.4pl6
 
 Name:           gappalib-coq
-Version:        1.1.0
-Release:        3%{?dist}
+Version:        1.2.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/34875/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/file/35093/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq%{?_isa} = %{coqver}
 BuildRequires:  flocq
@@ -84,6 +84,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Wed Oct 14 2015 Jerry James <loganjerry@gmail.com> - 1.2.0-1
+- New upstream release
+
 * Thu Jul 30 2015 Richard W.M. Jones <rjones@redhat.com> - 1.1.0-3
 - OCaml 4.02.3 rebuild.
 
diff --git a/sources b/sources
index 5f1ca61..6ddf9a0 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-99563a12195e773da4954087916762af  gappalib-coq-1.1.0.tar.gz
+08fdb9161c7e025111ef07a4914e5593  gappalib-coq-1.2.0.tar.gz