diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2025-03-07 14:38:26 +0100 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2025-03-07 14:38:26 +0100 |
| commit | 3a790aa5655933539abe56d95e09c138e161a8c0 (patch) | |
| tree | 49b8eb8fe12c647236374b9836d556ddc20cfeb7 /pkgs/development/python-modules/httpserver | |
| parent | 04c02c77e003178bc08e348a95133a2456b07c1a (diff) | |
tamarin-prover: build using GHC 9.6 until fclabels supports >= 9.8
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions