I’m still puzzled – is this A guide to building your Coq libraries and plugins with Dune the recommended way to package Coq projects or is it some other way?
I am currently going by the _CoqMake files outlined here: Utilities — Coq 8.16.1 documentation (and not using dunes)