Watch file results
component: main
distribution: debian
last_check: 2024-04-18 00:20:38.477978
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