version=4
opts=uversionmangle=s/-coq/+/, \
https://github.com/Mtac2/Mtac2/tags .*/v?([\d\.]+-coq[\d\.]+).tar.gz
