Mailing List Archive | ports@openbsd.org

2026-10-14 02:06 Kirill A. Korinsky:
math/lean: update to 4.35.0 + deps; math/mathlib: new port (version 4.35.0)
- 2026-10-15 08:55 Theo Buehler:
  math/lean: update to 4.35.0 + deps; math/mathlib: new port (version 4.35.0)
- - 2026-10-15 10:34 Kirill A. Korinsky:
    math/lean: update to 4.35.0 + deps; math/mathlib: new port (version 4.35.0)
  - - 2026-10-15 10:44 Theo Buehler:
      math/lean: update to 4.35.0 + deps; math/mathlib: new port (version 4.35.0)