Skip to content

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages #6078

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages

Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages #6078

Annotations

1 warning

testpackages testinstall-loadall - - ubuntu-latest

succeeded Jan 6, 2025 in 26m 17s