A guide to building your Coq libraries and plugins with Dune

Developing plugins
35

Hi, I followed your guide but I get the following error message:

$ dune build
#File "dune-project", line 30, characters 1-11:
30 | (coq.theory
      ^^^^^^^^^^
Error: Unknown field coq.theory

Let me know if you have any ideas. I am including (using coq 0.7). Thanks.