diff --git a/.gitignore b/.gitignore
index 260d7a3..1d6f6e8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /gappalib-coq-1.2.0.tar.gz
 /gappalib-coq-1.2.1.tar.gz
+/gappalib-coq-1.3.0.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 94d6095..b048095 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,13 +7,13 @@
 %global coqver 8.5pl2
 
 Name:           gappalib-coq
-Version:        1.2.1
-Release:        3%{?dist}
+Version:        1.3.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/file/35538/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/file/36065/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq = %{coqver}
 BuildRequires:  flocq
@@ -84,6 +84,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Fri Jul 22 2016 Jerry James <loganjerry@gmail.com> - 1.3.0-1
+- New upstream release
+
 * Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 1.2.1-3
 - Rebuild for coq 8.5pl2
 
diff --git a/sources b/sources
index 1c8604c..f11ea15 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-6ccfeba7ca1ba4ea15c34390271f2877  gappalib-coq-1.2.1.tar.gz
+f26c588d5da23cb30d88ae372d96c5b2  gappalib-coq-1.3.0.tar.gz