@leanprover/infoview
    Preparing search index...

    Class ServerVersion

    Index
    major: number
    minor: number
    patch: number