Author
Label
Projects
Milestones
Reviews
Assignee
Sort
[WIP] Add a --download-only flag to "opam install"
PR: NEEDS UPDATE
PR: WIP
#4071
opened Jan 21, 2020 by
Armael
Support etc_root and etcexec_root in opam-installer
PR: NEEDS UPDATE
#3958
opened Aug 17, 2019 by
hongchangwu
•
Changes requested
[WIP] Move most of the external tools calls to a single module
PR: OUTDATED
PR: WIP
#3217
opened Feb 9, 2018 by
kit-ty-kate
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.