From eb13055b15483e60deabafc6b5c6f4189e1dadd1 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 10 May 2026 23:20:16 +0800
Subject: [PATCH] add fp-ieee for copilot-theorem

---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index b28cdfa0..be88ec10 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4721,6 +4721,7 @@ packages:
         - xdg-desktop-entry
 
     "ARATA Mizuki <minorinoki@gmail.com> @minoki":
+        - fp-ieee
         - unboxing-vector
 
     "Brandon Chinn <brandonchinn178@gmail.com> @brandonchinn178":