sci-mathematics/

lean

Pkgcheck Warnings

• All Versions
  • UnstableOnly
    for arch: [ x86 ], all versions are unstable: [ 3.51.1 ]
• 4.11.0
  • DroppedKeywords
    x86
  • PythonCompatUpdate
    PYTHON_COMPAT update available: python3_13t
  • StableRequest
    slot(0) no change in 54 days for unstable keyword: [ ~amd64 ]
• 4.2.0
  • PythonCompatUpdate
    PYTHON_COMPAT updates available: python3_13, python3_13t
• 3.51.1