From Debian FTP Masters@21:1/5 to All on Sun May 29 23:30:01 2022
Version check failed:
Your upload included the source package coq-bignums, version 8.15.0-2,
however unstable already has version 8.15.0-2.
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.