Coq Call 2020 02 19 - coq/coq GitHub Wiki

• February 19th 2020, 4pm-5pm Paris Time
• How to join the call
• Add your topics below

Topics

[note: order of discussion to be decided at the beginning of the call]

• copyright headers

• Refreshing contents of the few ML files mentioning credits https://github.com/coq/coq/pull/7198

• more ltac2 maintainers?

• https://github.com/coq/coq/pull/11432 "more portable C flags"

• needs: discussion https://github.com/coq/coq/labels/needs%3A%20discussion

Notes

Meeting held, most topics postponed due to a large amount of people being on holidays.

Emilio gave a summary of the Dune port.