diff --git a/manifests/install.pp b/manifests/install.pp
index 6d214d715..7bc55c52e 100644
--- a/manifests/install.pp
+++ b/manifests/install.pp
@@ -158,6 +158,8 @@
     # Workaround PUP-5802/PUP-5025
     if ($::operatingsystem == 'Fedora') {
       $dist_tag = "fedoraf${::operatingsystemmajrelease}"
+    } elsif ($::platform_tag != undef and $::platform_tag =~ /redhatfips.*/) {
+      $dist_tag = 'redhatfips7'
     } elsif $::operatingsystem == 'Amazon' {
       $dist_tag = 'el6'
     } else {