Watch file results

component: main
distribution: debian
last_check: 2022-11-23 00:24:51.765658
release: sid
source: minisat+
status: error
version: 1.0-4
warnings: In watchfile debian/watch, reading webpage http://minisat.se/downloads/ failed: 404 Not Found
watch_file:
version=3
opts=filenamemangle=s/minisatp/minisat+/\
    http://minisat.se/downloads/minisatp-(.+).tar.gz