sci-mathematics/

lean

Dependencies Reverse-Dependencies

• 4.11.0

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-build/cmake
  dev-build/make
  dev-lang/python
  dev-libs/gmp

• 4.2.0

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-build/cmake
  dev-build/make
  dev-lang/python
  dev-libs/gmp

• 3.51.1

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  app-alternatives/ninja
  dev-build/cmake
  dev-libs/gmp