coq (8.10.2-1) [PTS] [DDPO]

OLD: VCS is behind the version in the archive: 8.9.1-2 < 8.10.2-1.

Package: [Main page]