max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/lake/examples/ffi
History
Exact
Mac Malone 590ff23e71
fix: lake: moreLinkObjs|Libs on a lean_exe (#11117) 
This PR fixes a bug where Lake ignored `moreLinkObjs` and `moreLinkLibs`
on a `lean_exe`.
2025-11-08 04:20:42 +00:00
..
app
lib
clean.sh
test.sh