Minutes March 27 2020 - math-comp/math-comp GitHub Wiki

About PR 429:

• looks ready, will be merged

About mathcomp-history-before-github

• It is online, searchable from github

About docker:

• currently images contain two switches (two ocaml versions, one with +flambda)
• in the future they will contain only one switch (the one with +flambda)

Release:

• Yves passed some knowledge to Reynald
• some PRs are stale: 357 346 211
  • release is an opportunity to help some progress to happen, eg 221 the RM can salvage what is ready
• some info fetched live for 418

Next meeting:

• April 8th 11AM