cryptol 3.2.0

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

[chenrui333]

  ==> cabal v2-install --jobs=4 --max-backjumps=100000 --install-method=copy --installdir=/home/linuxbrew/.linuxbrew/Cellar/cryptol/3.2.0/bin
  Error: [Cabal-7107]
  Could not resolve dependencies:
  [__0] trying: cryptol-3.2.0 (user goal)
  [__1] trying: what4-1.6 (dependency of cryptol)
  [__2] trying: template-haskell-2.22.0.0/installed-inplace (dependency of what4)
  [__3] trying: lens-5.3.2 (dependency of what4)
  [__4] next goal: parameterized-utils (dependency of cryptol)
  [__4] rejecting: parameterized-utils-2.1.8.0 (conflict: lens==5.3.2, parameterized-utils => lens>=4.16 && <5.3)
  [__4] skipping: parameterized-utils; 2.1.7.0, 2.1.6.0, 2.1.5.0, 2.1.4.0, 2.1.3.0, 2.1.2.0, 2.1.1, 2.1.0, 2.0.2, 2.0.1.0, 2.0 (has the same characteristics that caused the previous version to fail: excludes 'lens' version 5.3.2)
  [__4] rejecting: parameterized-utils-1.0.1 (conflict: cryptol => parameterized-utils>=2.0.2)
  [__4] skipping: parameterized-utils-1.0.0 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=2.0.2' from 'cryptol')
  [__4] fail (backjumping, conflict set: cryptol, lens, parameterized-utils)
  After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: lens, what4, template-haskell, parameterized-utils, cryptol
  Try running with --minimize-conflict-set to improve the error message.

[github-actions]

🤖 An automated task has requested bottles to be published to this PR.