diff --git a/.gitignore b/.gitignore
index b3ba485..d500432 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/frama-c-Fluorine-20130501.tar.gz
+/frama-c-Fluorine-20130601.tar.gz
diff --git a/frama-c.spec b/frama-c.spec
index 4768ae6..c860720 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -16,11 +16,11 @@
 %global ocamlbest byte
 %endif
 
-%global pkgversion Fluorine-20130501
+%global pkgversion Fluorine-20130601
 
 Name:           frama-c
 Version:        1.9
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Framework for source code analysis of C software
 
 Group:          Development/Libraries
@@ -234,6 +234,9 @@ xargs chmod a-x %{buildroot}%{_libdir}/frama-c/*.cmx \
 %{_xemacs_sitelispdir}/acsl.el
 
 %changelog
+* Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.9-4
+- Update to 20130601 bugfix Fluorine release
+
 * Mon Jun  3 2013 Jerry James <loganjerry@gmail.com> - 1.9-3
 - Add -fixes patch to fix code generation for inductive definitions
 
diff --git a/sources b/sources
index 0b671d8..7e77489 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-47a4c649f0b8c0f87006316054522688  frama-c-Fluorine-20130501.tar.gz
+69eed6b3f649725bf03d8500aaeb20a5  frama-c-Fluorine-20130601.tar.gz