[Git][haskell-team/package-plan][master] Update copilot to v4.7.1; add fp-ieee (needed by copilot-theorem)

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / package-plan


Commits:
15549c11 by Scott Talbert at 2026-06-19T10:46:20-04:00
Update copilot to v4.7.1; add fp-ieee (needed by copilot-theorem)

- - - - -


1 changed file:

- packages.txt


Changes:

=====================================
packages.txt
=====================================
@@ -162,14 +162,14 @@ control-monad-free 0.6.2
 control-monad-loop 0.1
 convertible 1.1.1.1
 cookie 0.5.1
-copilot 4.7 ahead
-copilot-c99 4.7 ahead
-copilot-core 4.7 ahead
-copilot-interpreter 4.7 ahead
-copilot-language 4.7 ahead
-copilot-libraries 4.7 ahead
-copilot-prettyprinter 4.7 ahead
-copilot-theorem 4.7 ahead
+copilot 4.7.1 ahead
+copilot-c99 4.7.1 ahead
+copilot-core 4.7.1 ahead
+copilot-interpreter 4.7.1 ahead
+copilot-language 4.7.1 ahead
+copilot-libraries 4.7.1 ahead
+copilot-prettyprinter 4.7.1 ahead
+copilot-theorem 4.7.1 ahead
 cpphs 1.20.10
 cpu 0.1.2
 criterion 1.6.4.0
@@ -307,6 +307,7 @@ fold-debounce 0.2.0.16
 foldl 1.4.18
 formatting 7.2.0
 foundation 0.0.30
+fp-ieee 0.1.0.6
 free 5.2
 from-sum 0.2.3.0
 fsnotify 0.4.4.0 notest



View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/15549c1132cc19e2604e6a0d49c344685d2adf39

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/15549c1132cc19e2604e6a0d49c344685d2adf39
You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20260619/6f06313b/attachment-0001.htm>