tamarin-prover: use the packaged alex/happy instead of cabal's own (intermittent amd64 failure) - #609

Merged

twitchyliquid64 merged 2 commits into

mainfrom

fix/tamarin-amd64-alex

Aug 17, 2026

Commits on Aug 14, 2026

tamarin-prover: use the packaged alex/happy instead of cabal's own (amd64)

bryan-minimal
and
claude
committed
0d2306c
tamarin-prover: it is INTERMITTENT, not broken — correcting my own framing

bryan-minimal
and
claude
committed
96c5e99