nuthatch/tests/model-correspondence/tools.env

2 lines
105 B
Shell

TLA_TOOLS_VERSION=2.19
TLA_TOOLS_SHA256=936a262061c914694dfd669a543be24573c45d5aa0ff20a8b96b23d01e050e88