Gentoo Packages

Package: sci-mathematics/lean

This package is available in the following overlays:

Overlay Versions Available
gentoo
  • 4.24.0
  • 4.23.0
  • 4.14.0-r1
zerodaysfordays
  • 4.0.9999