coq-record-update_0.3.4-2.dsc: Refers to non-existing file 'coq-record-update_0.3.4.orig.tar.gz'
Perhaps you need to include the file in your upload?

If the orig tarball is missing, the -sa flag for dpkg-buildpackage will be your friend.



===

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.


--==============&30966564978220947=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiu/zAAKCRCb9qggYcy5 ISPYAQDcI9HClQKePaLNn4Hm74eRF/Y3E85O1KfgLcrQPqiElgD/ZGsGZP40d9BM 1o5RV0LkXHDh7cTWGvJPidKmviT2CwQ=goYj
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)