search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

warn about opam mustache in README.md #112

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

As reported by Laurent Théry on the Zulip, the mustache obtained via opam install mustache does not work, so we warn against it in the README.