Watch file results

component: main
debian_mangled_uversion: 1.2.7
debian_uversion: 1.2.7
distribution: debian
last_check: 2026-08-06 20:20:10.348467
metadata: --- Repository: https://github.com/math-comp/algebra-tactics.git Repository-Browse: https://github.com/math-comp/algebra-tactics Bug-Database: https://github.com/math-comp/algebra-tactics/issues Bug-Submit: https://github.com/math-comp/algebra-tactics/issues/new
release: sid
source: mathcomp-algebra-tactics
status: up to date
upstream_url: https://api.github.com/repos/math-comp/algebra-tactics/tarball/refs/tags/1.2.7
upstream_version: 1.2.7
version: 1.2.7-4
watch_file: 
Version: 5
Template: github
Owner: math-comp
Project: algebra-tactics