Skip to content

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

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

Annotations

2 errors

Julia nightly - GAP.jl master - ubuntu-latest

cancelled Dec 18, 2024 in 2m 5s