gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/elan-bin

Lean version manager (prebuilt binary)

Screenshots

  • elan-bin-4.2.3
    -* ~amd64 ~arm64

    View      Download      Browse     License: || ( Apache-2.0 MIT ) Apache-2.0 BSD Boost-1.0 MIT Unicode-3.0 Unicode-DFS-2016   
    Overlay: gentoo-zh