version=4
opts=repack,dversionmangle=s/\+ds$//,repacksuffix=+ds \
https://gforge.inria.fr/frs/?group_id=1015 \
	(?:|.*/)sollya(?:[_\-]v?|)(\d[^\s/]*)\.(?:tar\.xz|tar\.bz2|tar\.gz)
