tarball=semigroups-VERSION.tar.gz
sha1=9bd365a9691b489989d9c652f67ed5ac011c936a
sha256=c237dd642668fd9aa5ebd7a7346467ab4261116892359d4480f0a265a91ed8d3
upstream_url=https://github.com/semigroups/Semigroups/releases/download/vVERSION/semigroups-VERSION.tar.gz
