Watch file results
component: main
distribution: debian
last_check: 2026-01-13 08:50:19.730794
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@