New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adapt to https://github.com/coq/coq/pull/19530 #131

Merged

Lysxia merged 1 commit into master from stdlib_repo

Sep 17, 2024

Contributor

proux01 commented Sep 17, 2024

Adapt to coq/coq#19530
This should be backward compatible and can be merged at your convenience, before the upstream PR.


          Adapt to coq/coq#19530

14d2194

proux01 mentioned this pull request

Give Stdlib its own directory coq/coq#19530

Merged

43 tasks

Lysxia merged commit 5faa2f7 into master

3 checks passed

Contributor Author

proux01 commented Sep 17, 2024

Thanks

proux01 deleted the stdlib_repo branch

September 17, 2024 09:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet