chore: Fix build for downstream Cargo workspaces#35

samuelburnham merged 1 commit into

mainargumentcomputer/Blake3.lean:mainfrom

rust-workspaceargumentcomputer/Blake3.lean:rust-workspaceCopy head branch name to clipboard