version=4
opts=repack,dversionmangle=s/\+ds$//,repacksuffix=+ds,pgpmode=next \
https://gforge.inria.fr/frs/?group_id=1015 (?:|.*/)@PACKAGE@@ANY_VERSION@@ARCHIVE_EXT@ debian
opts=pgpmode=previous \
https://gforge.inria.fr/frs/?group_id=1015 (?:|.*/)@PACKAGE@@ANY_VERSION@@SIGNATURE_EXT@ previous
