Skip to content

docs: note lean_exe libstdc++ link failure on Linux (see #196) - #197

Closed
ide-developer wants to merge 1 commit into
lean-dojo:mainfrom
ide-developer:fix/linux-exe-libstdcxx-link-notes
Closed

docs: note lean_exe libstdc++ link failure on Linux (see #196)#197
ide-developer wants to merge 1 commit into
lean-dojo:mainfrom
ide-developer:fix/linux-exe-libstdcxx-link-notes

Document lean_exe libstdc++ link failure on Linux (#196)

904bdea
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs