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.

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
