From 05a326816310c768145c886256f8de4af5f559b4 Mon Sep 17 00:00:00 2001
From: Fabien Boucher <fboucher@redhat.com>
Date: Sep 13 2022 12:03:45 +0000
Subject: No armv7hl arch for f37


---

diff --git a/FZCI.dhall/Branches.dhall b/FZCI.dhall/Branches.dhall
index bcbee01..08676be 100644
--- a/FZCI.dhall/Branches.dhall
+++ b/FZCI.dhall/Branches.dhall
@@ -27,7 +27,14 @@ let show =
           }
           branch
 
-let all = [ Union.Rawhide, Union.F37, Union.F36, Union.F35, Union.Epel8, Union.Epel9 ]
+let all =
+      [ Union.Rawhide
+      , Union.F37
+      , Union.F36
+      , Union.F35
+      , Union.Epel8
+      , Union.Epel9
+      ]
 
 let isRawhide = λ(branch : Union) → merge (eq_def ⫽ { Rawhide = True }) branch
 
@@ -68,7 +75,13 @@ in  { Type = Union
                   Arches.fedora
             , F35 = Arches.fedora
             , F36 = Arches.fedora
-            , F37 = Arches.fedora
+            , F37 =
+                Prelude.List.filter
+                  Arches.Type
+                  ( λ(arch : Arches.Type) →
+                      Prelude.Bool.not (Arches.isARMV7HL arch)
+                  )
+                  Arches.fedora
             , Epel8 = Arches.epel8
             , Epel9 = Arches.epel9
             }