tarball=fplll-VERSION.tar.gz
sha1=b40beea04697cccb26c9e6140935039ef87371df
sha256=f0af6bdd0ebd5871e87ff3ef7737cb5360b1e38181a4e5a8c1236f3476fec3b2
upstream_url=https://github.com/fplll/fplll/releases/download/VERSION/fplll-VERSION.tar.gz
