metamath vcswatch -- Debian Quality Assurance

metamath (0.195-1) [PTS] [DDPO]

NEW: VCS has unreleased changes: 0.195-2 > 0.195-1

Package: JSON [Main page]