Watch file results

component: main
debian_mangled_uversion: 0.198
debian_uversion: 0.198
distribution: debian
last_check: 2025-12-07 21:20:05.327297
metadata: Documentation: https://us.metamath.org/ FAQ: https://us.metamath.org/#faq Repository: https://github.com/metamath/metamath-exe.git Repository-Browse: https://github.com/metamath/metamath-exe Bug-Database: https://github.com/metamath/metamath-exe/issues Bug-Submit: https://github.com/metamath/metamath-exe/issues/new
release: sid
source: metamath
status: up to date
upstream_url: https://api.github.com/repos/metamath/metamath-exe/tarball/refs/tags/v0.198
upstream_version: 0.198
version: 0.198-2
watch_file: 
Version: 5

Template: GitHub
Owner: metamath
Project: metamath-exe