While ott is not a directly a Coq package (it just generates Coq code), it is part of the Coq Platform. To enable debugging/fixing build and runtime issues related to the Platform, I propose this dev package be added to extra-dev, as has been done for menhir, gappa, etc. I intend to keep the package up-to-date with the Ott GitHub repo package definition.
While
ottis not a directly a Coq package (it just generates Coq code), it is part of the Coq Platform. To enable debugging/fixing build and runtime issues related to the Platform, I propose this dev package be added toextra-dev, as has been done formenhir,gappa, etc. I intend to keep the package up-to-date with the Ott GitHub repo package definition.cc: @MSoegtropIMC