Watch file results
component: main
distribution: debian
last_check: 2026-02-10 08:50:22.191449
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@