gap-system / gap-docker-base

Docker container for external software used by GAP packages

https://hub.docker.com/r/gapsystem/gap-docker-base/

Geek Repo

Github PK Tool