version=3

opts=dversionmangle=s/dfsg$// \
        http://coq.inria.fr/download .*/coq-(.*)\.tar\.gz