Coq Call 2020 01 15 - coq/coq GitHub Wiki

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

Topics

• Code owners update wrap-up (https://github.com/coq/coq/pull/11295#issuecomment-572125489) https://github.com/orgs/coq/teams/pushers/teams
• How's the GTK3 port working on all architectures, upstream asks if it should move out of beta. (cf. https://github.com/garrigue/lablgtk/issues/90)
• marketing team (cf. https://github.com/coq-community/manifesto/issues/89)
• coqdoc plans/status (cf. problems pointed out in https://github.com/coq/coq/pull/11394#pullrequestreview-342173454)

Notes

• Move to maintainer teams.

  Proposal by Maxime and Théo to gathe some short description of each component and the teams expected work:

  • low maintainance
  • frozen state
  • in development, in which case which projects are incoming

  Decision to write a draft on of the description/status of components on the wiki and discuss it at the next WG.

• CoqLang account for official presence on Twitter. Managed by Théo, Karl and Emilio for now. Community management team.

• coqdoc plans / status: currently unmaintained Competing solutions exist (coqdoc2 et js / serapi-based solutions?).

• lablgtk3 feedback on use in CoqIDE. Hugo thinks no major API changes should happen, maybe some functions should be added. Sourceview4 should be tried (Emilio), Pierre-Marie reports a few issues in his PR about completion.