version=3
opts=dversionmangle=s/\+?(debian|dfsg|ds|deb)\d*$// \
http://coq.inria.fr/download .*/coq-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz))
# Bart Martens <bartm@debian.org>  Sun, 30 Dec 2012 20:22:30 +0000