diff --git a/.cvsignore b/.cvsignore
index 4e9f169..bd839b9 100644
--- a/.cvsignore
+++ b/.cvsignore
@@ -20,3 +20,4 @@ checkpolicy-1.25.5.tgz
 checkpolicy-1.25.8.tgz
 checkpolicy-1.25.10.tgz
 checkpolicy-1.25.11.tgz
+checkpolicy-1.25.12.tgz
diff --git a/checkpolicy.spec b/checkpolicy.spec
index c181d49..e87ad92 100644
--- a/checkpolicy.spec
+++ b/checkpolicy.spec
@@ -1,8 +1,8 @@
-%define libsepolver 1.7.19-1
+%define libsepolver 1.7.20-1
 Summary: SELinux policy compiler
 Name: checkpolicy
-Version: 1.25.11
-Release: 2
+Version: 1.25.12
+Release: 1
 License: GPL
 Group: Development/System
 Source: http://www.nsa.gov/selinux/archives/%{name}-%{version}.tgz
@@ -45,6 +45,11 @@ rm -rf ${RPM_BUILD_ROOT}
 %{_mandir}/man8/checkpolicy.8.gz
 
 %changelog
+* Mon Aug 22 2005 Dan Walsh <dwalsh@redhat.com> 1.25.12-1
+- Update to NSA Release
+	* Fixed handling of validatetrans constraint expressions.
+	Bug reported by Dan Walsh for checkpolicy -M.
+
 * Mon Aug 22 2005 Dan Walsh <dwalsh@redhat.com> 1.25.11-2
 - Fix mls crash
 
diff --git a/sources b/sources
index 3074cf9..6313064 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-007d56cf8e1cc4ad8bf8a157e465af47  checkpolicy-1.25.11.tgz
+fef03cbf6157ee8aff1edf4b9afc043c  checkpolicy-1.25.12.tgz