version=4
opts=repack,repacksuffix=+ds,compression=xz,dversionmangle=s/\+ds//,uversionmangle=s/-(rc\d*)$/~$1/ \
https://gitlab.inria.fr/mpfi/mpfi/-/tags?sort=updated_desc .*/archive/(\d\S+)/.*\.tar\.bz2
