diff options
| author | John MacFarlane <[email protected]> | 2025-12-11 22:06:20 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-11 22:06:20 +0100 |
| commit | f7670f05ea59edf4437f382e80f4b0cb668358e5 (patch) | |
| tree | 32ff8520366f10f8d5e8d8e9aff84651040db147 /src | |
| parent | 0679d22ae1eb3b3ae784660d611b77dd2b081751 (diff) | |
cirrus builds: use ghc 9.12.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions