From Debian FTP Masters@21:1/5 to All on Thu Jun 16 08:00:01 2022
Version check failed:
Your upload included the source package coq-doc, version 8.15.2-1,
however unstable already has version 8.15.2-1.
Uploads to unstable must have a higher version than present in unstable.
===
Please feel free to respond to this email if you don't understand why
your files were rejected, or if you upload new files which address our concerns.