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)
