Watch file results

component: main
debian_mangled_uversion: 9.0.0
debian_uversion: 9.0.0
distribution: debian
last_check: 2026-02-11 15:20:03.603332
release: experimental
source: rocq-stdlib
status: newer package available
upstream_url: https://api.github.com/repos/rocq-prover/stdlib/tarball/refs/tags/V9.1.0
upstream_version: 9.1.0
version: 9.0.0-3
watch_file: 
Version: 5
Template: GitHub
Owner: rocq-prover
Project: stdlib