Watch file results

component: main
debian_mangled_uversion: 9.1
debian_uversion: 9.1
distribution: debian
last_check: 2026-09-06 02:50:11.44891
metadata: --- Bug-Database: https://github.com/HoTT/Coq-HoTT/issues Bug-Submit: https://github.com/HoTT/Coq-HoTT/issues/new Repository-Browse: https://github.com/HoTT/Coq-HoTT
release: sid
source: coq-hott
status: up to date
upstream_url: https://api.github.com/repos/HoTT/Coq-HoTT/tarball/refs/tags/V9.1
upstream_version: 9.1
version: 9.1-2
watch_file: 
Version: 5
Template: github
Owner: HoTT
Project: HoTT