coq-serapi (8.19.0+0.19.3-3) [PTS] [DDPO]

OK: VCS matches the version in the archive

Package: JSON [Main page]