Man page - dune-coq(1)

Packages contains this manual

Package: ocaml-dune
apt-get install ocaml-dune

Manuals in package:

dune-describe(1)
dune-install(1)
dune-installed-libraries(1)
dune-fmt(1)
dune-format-dune-file(1)
dune-ocaml-merlin(1)
dune-help(1)
dune-show(1)
dune-top(1)
dune-promote(1)
dune-cache(1)
dune-runtest(1)
dune-package(1)
dune-utop(1)
dune-tools(1)
dune-init(1)
dune-config(5)
dune-clean(1)
dune-printenv(1)
dune-external-lib-deps(1)
dune-subst(1)
dune-build(1)
dune-shutdown(1)
dune-rules(1)
dune-diagnostics(1)
dune-uninstall(1)
dune-rpc(1)
dune-coq(1)
dune(1)
dune-test(1)
dune-promotion(1)
dune-upgrade(1)
dune-pkg(1)
dune-internal(1)
dune-monitor(1)
dune-ocaml(1)
dune-exec(1)

Documentations in package:

ocaml-dune

Manual

DUNE-COQ

NAME
SYNOPSIS
COMMANDS
COMMON OPTIONS
EXIT STATUS
SEE ALSO

NAME

dune-coq - Command group related to Coq.

SYNOPSIS

dune coq top FILE -- ARGS

COMMANDS

top [ OPTION ]… COQFILE [ ARGS ]…

Execute a Coq toplevel with the local configuration.

COMMON OPTIONS

--help [= FMT ] (default= auto )

Show this help in format FMT . The value FMT must be one of auto , pager , groff or plain . With auto , the format is pager or plain whenever the TERM env var is dumb or undefined.

--version

Show version information.

EXIT STATUS

dune coq exits with:

	0		on success.
	1		if an error happened.
	130		if it was interrupted by a signal.