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.

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

Fix Python package licensing #10348

Merged
merged 2 commits into from
Feb 5, 2024
Merged

Conversation

daniel-larraz
Copy link
Contributor

This PR updates the License field of the Python wheel metadata to reflect that the package includes artifacts under three different licenses: BSD-3-Clause, LGPL-3.0-or-later, and MIT. It also includes a COPYING file and associated license files in the dist-info directory of the Python wheel.

It fixes #10327. It depends on #10339.

@aniemetz aniemetz added the do not merge Do not merge this PR if you are not the author label Feb 5, 2024
@aniemetz aniemetz enabled auto-merge (squash) February 5, 2024 17:35
@aniemetz aniemetz removed the do not merge Do not merge this PR if you are not the author label Feb 5, 2024
@aniemetz aniemetz merged commit 624dc1a into cvc5:main Feb 5, 2024
8 checks passed
@daniel-larraz daniel-larraz deleted the wheel-licenses branch March 8, 2024 14:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
moderate Complexity normal Priority
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Python package license
3 participants