Skip to content

Latest commit

 

History

History
21 lines (19 loc) · 781 Bytes

README.md

File metadata and controls

21 lines (19 loc) · 781 Bytes
Raw

This repository contains the source for the libsemigroups Docker container.

If you have Docker installed, you can download this container using:

docker pull libsemigroups/libsemigroups-docker-arm

and run it by doing

docker run --rm -it libsemigroups/libsemigroups-docker-arm

If you want to use a specific version of libsemigroups, then use:

docker pull libsemigroups/libsemigroups-docker-arm:version-2.0.0
docker run --rm -it libsemigroups/libsemigroups-docker-arm:version-2.0.0

or, for the latest version, use:

docker pull libsemigroups/libsemigroups-docker-arm:latest
docker run --rm -it libsemigroups/libsemigroups-docker-arm:latest