| 15 Sep 2025 |
 sterni (he/him) | as long as it's not older than what we have in nixpkgs we can just package that shouldn't be a problem | 13:48:38 |
| sterni (he/him) | I guess still it may be easier to get MicroHs with GHC to work first before figuring out hugs, but you know that better. | 13:49:01 |
 emily | how old | 13:49:12 |
| emily | we will be dropping GCC 14 in 26.05 | 13:49:21 |
| emily | er | 13:49:34 |
| emily | 13 | 13:49:36 |
| emily | so I strongly recommend patching or -Wno-error over pinning an old GCC | 13:49:45 |
| emily | (it needs Lennart's branch of Hugs right? presumably we could just send PRs and treat that as the upstream) | 13:50:11 |
