Expected Behavior

I need to build a theory that doesn't have any Coq files. It only has a plugin, and I solely want to build that plugin. As such, my stanza has (modules ) in it to exclude any Coq files.

Actual Behavior

This error on dune build:

File "theories/dune", lines 1-5, characters 0-54:
1 | (coq.theory
2 |  (name Test)
3 |  (package test)
4 |  (modules )
5 | )
Fatal error: exception Sys_error("theories: No such file or directory")

Reproduction

dune-project:

(lang dune 3.18)
(using dune_site 0.1)
(name test)
(using coq 0.10)

dune (in an empty subdirectory theories):

(coq.theory
 (name Test)
 (package test)
 (modules )
)

Specifications

• Version of dune (output of dune --version): 3.18.2
• Version of ocaml (output of ocamlc --version): 4.11.2
• Operating system (distribution and version): Arch Linux