cryptol fails to build due to happy

[mihaimaruseac]

Configuring cryptol-2.5.0...
Setup: The program 'happy' version <1.19.6 is required but the version found
at /var/stackage/work/builds/nightly/bin/happy is version 1.19.7

CC @acfoltzer

[clinty]

This is related to GaloisInc/cryptol@bf57156 and haskell/happy#94

[bergmark]

Is this fixed with happy 1.19.8? Seems like cryptol needs an update removin the bound

[hvr]

@bergmark just a reminder, cryptol cannot just remove the upper bound on happy, instead it would still need retain the line

build-tools: happy < 1.19.6 || >= 1.19.8

to make sure cabal avoids using those versions of happy for which we have hard evidence they'll fail the build (c.f. haskell-infra/hackage-trustees#115)

[bergmark]

Misread, this is still an issue so i'll disable cryptol again, @acfoltzer please send a PR to re-enable if this gets fixed.