Provided by: coq_8.4pl4dfsg-3build2_amd64 bug


       coqc - The Coq Proof Assistant compiler


       coqc [ general  Coq  options ] file


       coqc  is  the  batch  compiler for the Coq Proof Assistant.  The options are basically the
       same as coqtop(1).  file.v is the vernacular file to compile.  file must  be  formed  only
       with  the  characters  `a`  to   `Z`,  `0`-`9`  or  `_` and must begin with a letter.  The
       compiler produces an object file file.vo.

       For interactive use of Coq, see coqtop(1).


       coqc is a script that simply runs coqtop with option -compile it accepts the same  options
       as coqtop.

       -image bin
              use bin as underlying coqtop instead of the default one.

              print the compiled file on the standard output.


       coqtop(1), coq_makefile(1), coqdep(1).
       The Coq Reference Manual.  The Coq web site:

                                          April 25, 2001                                   COQ(1)