• Dune Working Group
• Log
• Topics for discussion
• The Coq Dune project
• Topics for discussion:
• Issues
• Improvements to coq stanza
• Dune usability
• Dune performance
• Participants