Watch file results

component: main
debian_mangled_uversion: 1.0.2~git20250507.fb69ee3
debian_uversion: 1.0.2~git20250507.fb69ee3
distribution: debian
last_check: 2026-01-30 04:50:14.925341
metadata: Reference: - Author: A. Niemetz and M. Preiner and C. Wolf, C. and A. Biere Title: BTOR2 , BtorMC and Boolector 3.0 Journal: Springer Nature Link Year: 2018 DOI: 10.1007/978-3-319-96145-3_32 eprint: https://link.springer.com/content/pdf/10.1007/978-3-319-96145-3.pdf
release: sid
source: btor2tools
status: newer package available
upstream_url: https://github.com/hwmcc/btor2tools.git HEAD
upstream_version: 1.0.2~git20250918.d33c73f
version: 1.0.2~git20250507.fb69ee3-1
watch_file: version=4 # using '~' to be able to stick to version 1.0.2 which might be a previous tag then latest opts="mode=git,pretty=1.0.2~git%cd.%h" \ https://github.com/hwmcc/btor2tools.git HEAD # Asked for tags # https://github.com/hwmcc/btor2tools/issues/32