New debian/watch file by Bart Martens
New debian/watch file by Bart Martens

ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging-precise,ezyang/coq-packaging