Revert "Merge branch 'remove-boole-2024-patches' into 'master'"

This reverts merge request !1213

lhcbnightlyconf/Patches.py

@@ -62,6 +62,7 @@ PROJECT_NAMES = {
         "Alignment",
         "MooreOnline",
         "Panoptes",
+        "Boole",
     ]
 }
 
@@ -88,6 +89,7 @@ SPECIAL_VERSIONS = {
         "LCG": LCG_DEFAULT_VERSION,
         "Gaudi": DEFAULT_GAUDI_VERSION,
         "Online": "master",
+        "Boole": "master",
     }
 }