This repository is obsolete. Most of its functionality has been either integrated directly into https://github.com/gap-system/gap or is available via https://github.com/gap-system/PackageDistro.
This repository has been archived by the owner on Nov 10, 2022. It is now read-only.
gap-system/gap-distribution
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.