Watch file results

component: main
debian_mangled_uversion: 3.2.4
debian_uversion: 3.2.4
distribution: debian
last_check: 2026-07-09 08:50:02.917808
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