Draft an initial specification of the implementation of dune's support for tool management, based on the requirements specified in #15545 . The requirements should be revised and evolved as needed, to support the development of a robust and elegant implementation plan.
Not all details of the implementation need to be anticipated, but an effort should be made to identify and anticipate the major difficulties and thorny design questions.
Draft an initial specification of the implementation of dune's support for tool management, based on the requirements specified in #15545 . The requirements should be revised and evolved as needed, to support the development of a robust and elegant implementation plan.
Not all details of the implementation need to be anticipated, but an effort should be made to identify and anticipate the major difficulties and thorny design questions.