Skip to content

Move gap packages to features #25835

@timokau

Description

@timokau

Split from #25825. This moves the remaining instances of is_package_installed for gap packages to Features.

CC: @tscrim @jdemeyer

Component: build

Author: Timo Kaufmann

Branch/Commit: 63363f0

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/25835

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions