Watch file results
component: main
distribution: debian
last_check: 2024-07-26 00:26:26.078455
release: sid
source: coq-corn
status: error
version: 8.19.0+ds1-1
warnings: stop mangling: rule="s/\+ds?*$//" mangling "s" rule execution failed.
watch_file:
version=4 opts=dversionmangle=s/\+ds?*$// \ https://github.com/coq-community/corn/tags .*/([\d\.]+).tar.gz