Bump libsemigroups -> v2.0.3

Author: james-d-mitchell

ci/launch-docker.sh

@@ -12,7 +12,7 @@ else
   exit 1
 fi
 
-CONTAINER_NAME="libsemigroups/libsemigroups-docker:version-2.0.2"
+CONTAINER_NAME="libsemigroups/libsemigroups-docker:version-2.0.3"
 
 # Pull the docker container
 docker pull "$CONTAINER_NAME" 

setup.py

@@ -29,7 +29,7 @@ def minimum_libsemigroups_version():
     Returns the minimum required version of libsemigroups required to make
     this work.
     """
-    return "2.0.2"
+    return "2.0.3"
 
 
 def compare_version_numbers(supplied, required):