gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/mathlib-tools

Development tools for Lean's mathlib

Screenshots

  • mathlib-tools-1.3.2_p1
    ~amd64 ~x86
    test python_targets_python3_10 python_targets_python3_11 python_targets_python3_12

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo

USE Flags

test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore
python_targets_python3_10
* This flag is undocumented *
python_targets_python3_11
* This flag is undocumented *
python_targets_python3_12
* This flag is undocumented *