version=3

http://coq.inria.fr/download distrib/[^/]+/files/coq-(.*)\.tar\.gz
