coq-mtac2 (1.4+8.16-1) [PTS] [DDPO]

OK: VCS matches the version in the archive

Package: JSON [Main page]