This repository has been archived by the owner on Apr 7, 2021. It is now read-only.
wrong pre-populated list of packages in the installer #42
Labels
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
the readme in fstar's contrib directory is the most up-to-date; then, the webpage (branch "gh-pages") is mildly up-to-date; the list of packages that the installer passes to cygwin's setup.exe is definitely out of date
The text was updated successfully, but these errors were encountered: