tarball=libsemigroups-VERSION.tar.gz
sha1=e3856b817638d64016ff53c84cb2c895676ae7c8
sha256=a2d7a1e5b41360a89af0ea836cfddb4669a30516b35d4b9ff73422624ed1aa12
upstream_url=https://github.com/libsemigroups/libsemigroups/releases/download/vVERSION/libsemigroups-VERSION.tar.gz
