The Coq mailing list

[Adam Megacz <megacz AT cs.berkeley.edu>]

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