Skip to content

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

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 #373

Annotations

1 error and 1 warning

Julia 1 - GAP.jl latest-release - ubuntu-latest

failed Jan 3, 2025 in 4m 6s