Li-yao Xia pushed to project branch master at Li-yao Xia / rocq-planet

Li-yao Xia
2026-04-04T11:55:10Z

Li-yao Xia (d6063546) at 04 Apr 11:55

Add hacky static linking

... and 1 more commit