Bug#831567: ssreflect: Version 1.6 released, compatible with coq/{testing,unstable}

[Samuel Hym <Samuel.Hym+bugs@rustyne.lautre.net>]

Source: ssreflect
Severity: normal

Dear Maintainer,

The current version of ssreflect package (and mathcomp) in testing and
unstable isn’t compatible with the current version of coq.
Upstream released version 1.6 six months ago (and moved their web page
to github).

I hope that updating to the new version would close #813820.

Could it (well they, both ssreflect and mathcomp) be updated?

Best regards
Sam


-- System Information:
Debian Release: stretch/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.6.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=es_AR.UTF-8, LC_CTYPE=es_AR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)