The Coq mailing list

[Andrew McCreight <continuation AT gmail.com>]

Have you tried poking around in the bug database and submitting a report if nothing similar is there?  It can be pretty handy, and you can sign up to get updates as the bug gets fixed.

On Wed, Sep 22, 2010 at 1:40 AM, Adam Megacz <megacz AT cs.berkeley.edu> wrote:

Adam Megacz <megacz AT cs.berkeley.edu> writes:
> megacz@skolem:~/coq83$ curl -LO http://www.cs.berkeley.edu/~megacz/garrows/GArrow_coq83.v
>
> megacz@skolem:~/coq83$ bin/coqc GArrow_coq83.v
>
> Defining '_swap' as keyword
> Defining '_assoc' as keyword
> File "./GArrow_coq83.v", line 579, characters 0-249:
> Anomaly: uncaught exception Not_found. Please report.

and:

megacz@skolem:~/coq83$ bin/coqc --version
The Coq Proof Assistant, version 8.3-rc1 (September 2010)
compiled on Sep 20 2010 09:53:37 with OCaml 3.11.2