Watch file results
component: main
distribution: debian
last_check: 2024-10-14 00:22:29.910951
release: sid
source: minisat+
status: error
version: 1.0-5
watch_file:
version=4 opts="mode=git, dversionmangle=auto" \ https://github.com/niklasso/minisatp.git refs/tags/v?@ANY_VERSION@