kmx git
Register
IABSD.fr/ports
IABSD.fr
Login
IABSD.fr
/
ports
Browse
Commit
Author :
tb
Date :
2025-01-29 11:34:37
Hash :
a6f89c08
Message :
math/lean: fix build with llvm 19 I should really figure out how to update this to lean 4...
tb