• Topics
• Notes
• Coq Platform release
• Current Non-features
• Options for releases
• Conclusion
• Dune build system update
• Immediate plans for Dune migration
• After-merge plans
• General comments