This repository contains the sources used to create the base Docker image at libsemigroups-docker-x86-32-base. Everything that is required to install libsemigroups is in the container but libsemigroups itself is not installed.
If you have Docker installed, you can download this container using:
docker pull libsemigroups/libsemigroups-docker-x86-32-base
and run it by doing
docker run --rm -it libsemigroups/libsemigroups-docker-x86-32-base