Update submodule versions.

[brianhuffman]

No description provided.

[brianhuffman]

The ubuntu CI builds are failing with this message:

+ [[ Linux == \W\i\n\d\o\w\s ]]
+ IS_WIN=false
++ pwd
+ BIN=/home/runner/work/saw-script/saw-script/bin
+ EXT=
+ false
+ mkdir -p /home/runner/work/saw-script/saw-script/bin
+ COMMAND=build
+ shift
+ build
++ ghc --numeric-version
+ ghc_ver=9.0.1
+ cp cabal.GHC-9.0.1.config cabal.project.freeze
cp: cannot stat 'cabal.GHC-9.0.1.config': No such file or directory
Error: Process completed with exit code 1.

[RyanGlScott]

This is quite bizarre. ghc_ver comes from here:

saw-script/.github/ci.sh

Lines 109 to 110 in 58ca144

	ghc_ver="$(ghc --numeric-version)"
	cp cabal.GHC-"$ghc_ver".config cabal.project.freeze

This would suggest that CI is downloading GHC 9.0.1 somehow. Yet the CI logs disagree with this claim:

Installing ghc version 8.10.3

I have no idea how GHC 9.0.1 is ending up on the PATH.

[RyanGlScott]

I'm starting to suspect that this is a bug in haskell/actions, since I am experiencing the same problem on a completely different repo (logs).

[RyanGlScott]

This might be due to haskell/actions#73.

[atomb]

Strange that it's only doing that under Ubuntu. The bug is affecting Cryptol, too. We could add a ghcup set ghc line to ci.sh to work around it (and it wouldn't cause any harm to leave in, though it would be crufty). We'd have to do that in essentially all our Haskell builds on GitHub, though. Maybe we can hope they fix it soon?

[atomb]

Oh, @jared-w is the main contributor. Maybe we should bug him. :)

[atomb]

Looks good to me, and CI results are promising so far.