Search results

Dune cannot build empty <code>coq.theory</code>

coq

Status: Open.

#11836 In ocaml/dune;

· LasseBlaauwbroek opened on May 22, 2025

Generate "_CoqProject" files for Coq theories

coq

Status: Open (in progress).

ocaml/dunenumber 11752

#11752 In ocaml/dune;

· rlepigre opened on May 4, 2025

Internal error: [as_in_build_dir_exn] called on something not in build dir

coq

Status: Open.

#11618 In ocaml/dune;

· SkySkimmer opened on Apr 8, 2025

Support Rocq timing outputs

coq

feature-requestUser wanted featuresUser wanted features

Status: Open.

#11587 In ocaml/dune;

· SkySkimmer opened on Mar 31, 2025

Rocq support in dune

coq

Status: Open.

#11572 In ocaml/dune;

· mattam82 opened on Mar 26, 2025

Dune-Coq: support transitive dependencies even for installed theories

coq

Status: Open.

#11483 In ocaml/dune;

· Blaisorblade opened on Feb 14, 2025

Internal error with <code>(env (_ (binaries (../tools/myrock.exe as coqc))))</code>

coq

Status: Open.

#11190 In ocaml/dune;

· SkySkimmer opened on Dec 10, 2024

Add "coqdoc_header" and "coqdoc_footer" fields.

coq

Status: Open (in progress).

ocaml/dunenumber 11131

#11131 In ocaml/dune;

· rlepigre opened on Nov 18, 2024

Add reproduction test-case for #11012.

coq

Status: Open (in progress).

ocaml/dunenumber 11091

#11091 In ocaml/dune;

· rlepigre opened on Nov 4, 2024

Coqdoc flags --with-header and --with-footer should imply a dependency on the argument files

coq

Status: Open.

#11017 In ocaml/dune;

· rlepigre opened on Oct 17, 2024

Coq documentation generation fails with Coq in the workspace

coq

Status: Open.

#11016 In ocaml/dune;

· rlepigre opened on Oct 17, 2024

<code>coq.extraction</code> + <code>coq.theory</code> raises internal errors

coq

Status: Open.

#11014 In ocaml/dune;

· jmadiot opened on Oct 15, 2024