Skip to content

Update Carat to CaratInterface in PackageInfo.g#24

Merged
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:update-carat-name
Jun 1, 2026
Merged

Update Carat to CaratInterface in PackageInfo.g#24
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:update-carat-name

Commits

Commits on May 29, 2026