Watch file results

component: main
debian_mangled_uversion: 7.12.0
debian_uversion: 7.12.0+ds
distribution: debian
last_check: 2019-10-16 00:21:22.050043
release: sid
source: phppgadmin
status: up to date
upstream_url: https://github.com/phppgadmin/phppgadmin/archive/REL_7-12-0.tar.gz
upstream_version: 7.12.0
version: 7.12.0+ds-2
watch_file: version=3 opts=dversionmangle=s/\+ds\d*$//,uversionmangle=s/-/./g,repacksuffix=+ds \ https://github.com/phppgadmin/phppgadmin/releases/ /phppgadmin/phppgadmin/archive/REL_([-0-9]+)\.(?:tar\.xz|txz|tar\.bz2|tbz2|tar\.gz|tgz|tar)