Watch file results

component: main
debian_mangled_uversion: 9.3.2
debian_uversion: 9.3.2
distribution: debian
last_check: 2022-05-26 04:20:12.547491
release: sid
source: deal.ii
status: newer package available
upstream_url: https://github.com/dealii/dealii/releases/download/v9.3.3/dealii-9.3.3.tar.gz
upstream_version: 9.3.3
version: 9.3.2-1
watch_file:
version=3
opts=pgpsigurlmangle=s/$/.asc/,filenamemangle=s/.+\/dealii-(\d\S*)\.tar\.gz/deal\.ii-$1\.tar\.gz/ \
https://github.com/dealii/dealii/releases .*/dealii-(\d+\.\d+\.\d+)\.tar\.gz