Skip to content
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

coq-mathcomp-classic as part of the package pick? #339

Closed
affeldt-aist opened this issue Apr 3, 2023 · 1 comment
Closed

coq-mathcomp-classic as part of the package pick? #339

affeldt-aist opened this issue Apr 3, 2023 · 1 comment
Assignees
@MSoegtropIMC
Labels
approval: has maintainer agreement kind: package inclusion

Comments

@affeldt-aist
Copy link

coq-mathcomp-classical is currently installed with the Coq platform as a dependency of coq-mathcomp-analysis.

It is however not listed as part of the package pick although it can be useful on it own, for example to perform set theoretic reasoning.

It might be worth considering listing coq-mathcomp-classical along with coq-mathcomp-analysis as part of the package pick.
@MSoegtropIMC MSoegtropIMC self-assigned this Apr 3, 2023
@MSoegtropIMC
Copy link
Collaborator

Actually I just saw that there was already a request to include coq-mathcomp-classic here : #334

So I will close this issue (but note it as additional maintainer agreement).

@MSoegtropIMC MSoegtropIMC mentioned this issue Apr 6, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MSoegtropIMC MSoegtropIMC

Labels
approval: has maintainer agreement kind: package inclusion
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@MSoegtropIMC @affeldt-aist