Skip to content

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

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

Annotations

1 warning and 1 notice

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

succeeded Jan 6, 2025 in 4m 2s