The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

If you post the bug on coq-club and/or coqdev, and mention that you'd like to report it but don't have an account, someone might add it to the bug tracker for you.  (I might do so myself, if I find time to search for similar bugs, or if you say that you've looked and it's not a duplicate.)

Though, to be honest, I've never seen any spam from the email I've used for bugzilla (though that might just be a testamount to gmail's spam filtering).

-Jason

On Wed, Dec 18, 2013 at 12:43 PM, Edwin Westbrook <westbrook AT kestrel.edu> wrote:

All,

What is the best way to report Coq bugs? I was a little loath to set up a Bugzilla account, because of the warning about getting spam, and don't really want to go through the hassle of setting up a temporary, fake email account just for a single bug report.

Thanks,
-Eddy