Hello, ssreflect was removed from testing on 22/02, since the version in testing depended on a cruft package. However, an updated version of ssreflect was uploaded to sid on 16/02 which fixes the bug, and which works nicely with coq 8.9 which just migrated to testing. I was quite surprised to see ssreflect removed from testing since I seem to remember that autoremoval of ssreflect was announced on the tracker for March 07 (but I may be wrong here). Hence, I would like to ask to kindly let ssreflect 1.7.0+dfsg-1 migrate to testing. It is a leaf package with quite low popcon, but it also has no reverse dependencies so it won't break anything. Thanks for considering -Ralf.
Attachment:
signature.asc
Description: PGP signature