version=4
opts="dversionmangle=s/[0-9]+\+([a-z]+)/$1/i" \
https://frama-c.com/download.html download/frama-c-[0-9]{2}\.[0-9]-([a-zA-Z]+)\.tar\.gz
