Minutes December 16 2020 - math-comp/math-comp GitHub Wiki

  • Participants Christian, Enrico, Yves, Pierre-Yves, Reynald, Marie, Laurent, Cyril, Assia
  • The state of coq-community/templates
    • hard to use in mac (mustache not readily available)
    • ocaml-mustache does not work
    • does not support multi-package repos (e.g., mathcomp) (Cyril)
    • there is no lock-in, as the generated files can be maintained by hand
    • Enrico: should make ocaml-mustache compatible with templates (PR by Pierre-Yves)
  • "Dropping" support for coq-8.10 in order to use the deprecation mechanism from 8.11
    • current home-made deprecation does not support some changes and is difficult to use
    • don't actually need to drop 8.10, it just won't display the deprecation warnings.
  • Releases of fourcolor and odd-order
    • Yves will release fourcolor this week (and odd-order later)