watch « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/debian/watch

blob: 07bcf5fe7afc800bcc15b7cb74e2ad9de39f8e63 (plain)

version=3

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