IABSD.fr/ports/math/lean

Branch : - branch - master - tag -

• Show log

  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...

• Files
• Makefile
• distinfo
• patches
• pkg