Questions
Why add a package?
To make packages easier to find, and to let package managers pick versions that match your compiler version.
Can I delete packages?
Yes. vman does not need a package to be listed here to install it.
What if the repository is deleted?
Then it can no longer be installed, unless it is cached or backed up.
What if the repository is replaced?
vman stores a hash of the version you picked, so it never installs different files under the same version.
Can I rename packages?
No, names come from the repository URL. When the URL changes, add it as a new package.
Can I add packages from outside GitHub?
Not yet. Only GitHub repositories are supported for now; more platforms will follow.