hack: permit foo/bar/baz:version in toolchain names#159
Open
eric-wieser wants to merge 1 commit intoleanprover:masterfrom
Open
hack: permit foo/bar/baz:version in toolchain names#159eric-wieser wants to merge 1 commit intoleanprover:masterfrom
foo/bar/baz:version in toolchain names#159eric-wieser wants to merge 1 commit intoleanprover:masterfrom
