Watch file results

component: main
debian_mangled_uversion: 1.0.2~git20250918.d33c73f
debian_uversion: 1.0.2~git20250918.d33c73f
distribution: debian
last_check: 2026-03-04 20:50:03.127036
metadata: Bug-Database: https://github.com/hwmcc/btor2tools/issues 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 Repository: https://github.com/hwmcc/btor2tools.git Repository-Browse: https://github.com/hwmcc/btor2tools 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: up to date
upstream_url: https://github.com/hwmcc/btor2tools.git HEAD
upstream_version: 1.0.2~git20250918.d33c73f
version: 1.0.2~git20250918.d33c73f-1
watch_file: 
Version: 5

# using '~' to be able to stick to version 1.0.2 which might be a previous tag then latest
Source: https://github.com/hwmcc/btor2tools.git
Matching-Pattern: HEAD
Mode: git
Git-Pretty: 1.0.2~git%cd.%h