gap-system / gap-docker-stable

Docker container for the stable-4.8 branch of the GAP repository

Home Page:https://hub.docker.com/r/gapsystem/gap-docker-stable/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Docker container for GAP development version

This container provides the core GAP system build from the stable branch of the GAP repository (https://github.com/gap-system) and GAP packages prepared for the next minor release of GAP.

Docker pull command to use this container:

docker pull gapsystem/gap-docker-stable

About

Docker container for the stable-4.8 branch of the GAP repository

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

License:GNU General Public License v2.0