Open
Description
The Coq platform scripts should check if any COQxxx environment variables are set and if so warn the user that this does not play well with opam and the definitions should be removed.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No projects
No milestone
None yet
No branches or pull requests