IABSD.fr/ports/math/lean

Branch : - branch - master - tag -

• Show log

  Commit

• Author : claudio
  Date : 2025-12-17 13:57:35
  Hash : 32a3c9d7
  Message : gcc15 is sensitive to missing includes, add <cstdint> to please it. OK tb@

• Files
• Makefile
• distinfo
• patches
• pkg