Watch file results

component: main
debian_mangled_uversion: 3.2.4
debian_uversion: 3.2.4
distribution: debian
last_check: 2026-03-11 00:22:11.444921
release: sid
source: boolector
status: newer package available
upstream_url: https://api.github.com/repos/Boolector/boolector/tarball/refs/tags/smtcomp-2018
upstream_version: 2018
version: 3.2.4-1
watch_file: 
Version: 5

Template: Github
Owner: Boolector
Project: boolector