version=3
opts="uversionmangle=s/rc/~rc/" \
http://ssr.msr-inria.inria.fr/FTP/ ssreflect-(.*)\.tar\.gz
