# The Bend and Lean releases that the local gate requires (bend PROOF.bend,
# bend --verdict, the Bend bridges). scripts/ci_local.sh sources this file.
# The Makefile includes it. Keep the form NAME=value: bash and make read it.
BEND_VERSION=2.0.39
LEAN_VERSION=4.34.0