Skip to content

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

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

Annotations

2 errors

Julia 1 - GAP.jl master - ubuntu-latest

cancelled Jan 3, 2025 in 19m 53s