version=4
https://github.com/coq-community/paramcoq/tags .*/v?([\d\.]+\+coq[\d\.]+).tar.gz
