coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Reporting Coq bugs?

From: Edwin Westbrook <westbrook AT kestrel.edu>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Reporting Coq bugs?
Date: Wed, 18 Dec 2013 09:43:56 -0800

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

[Coq-Club] Reporting Coq bugs?, Edwin Westbrook, 12/18/2013
- Re: [Coq-Club] Reporting Coq bugs?, Jason Gross, 12/19/2013
- Re: [Coq-Club] Reporting Coq bugs?, Pierre Boutillier, 12/19/2013
  - Re: [Coq-Club] Reporting Coq bugs?, Nuno Gaspar, 12/19/2013
  - Re: [Coq-Club] Reporting Coq bugs?, Adam Chlipala, 12/19/2013