| 13 Aug 2025 |
 emily | (and no wrappers needed for downstream users) | 18:23:52 |
| emily | but that might not be desirable. since you might want to use another backend at runtime | 18:24:02 |
| emily | so having it in the closure of smtlib-backends-process is likely suboptimal | 18:24:17 |
| emily | (does GHC cross even work in Nixpkgs…) | 18:24:39 |
 Artem | if I unbreak certain Haskell package (e.g. by adding jailbreaks and alike in configuration-common.nix), do I remove broken=false; from hackage-packages.nix in the same commit that I want to submit as a PR? | 18:28:55 |
