version=3
opts=uversionmangle=s/^(.*)$/$1.deb/ http://coccinelle.lip6.fr/download.php distrib/coccinelle-([^-]*)\.tgz
