Skip to content

Specify tool management requirements #15545

Description

@shonfeder

Specify the requirements for dune's tool management. These should be high level functional requirements, articulating and helping discover the core needs and concepts of the domain.

We should avoid prematurely constraining the requirements based on current or expected implementation details, and instead complete a thorough analysis and decomposition of core concepts required to understand tool management (from a user perspective) and to articulate the needs the functionality must satisfy.

Metadata

Metadata

Labels

package managementDune's package management — `(pkg)` stanza, lockdirs, `dune pkg` commands

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions