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

Upgrade eclib to version v20241112 #38960

Open
1 task done
JohnCremona opened this issue Nov 12, 2024 · 0 comments · May be fixed by #38962
Open
1 task done

Upgrade eclib to version v20241112 #38960

JohnCremona opened this issue Nov 12, 2024 · 0 comments · May be fixed by #38962
Assignees
Labels
c: packages: standard dependencies Pull requests that update a dependency file t: enhancement

Comments

@JohnCremona
Copy link
Member

Problem Description

The current version of eclib in Sage is 20231212. I don't know why we never upgraded to version 20240408, but now I have just realeased 20241112 and will do what is necessary.

Proposed Solution

I will package up eclib version 20241112 and make sure that it builds, and that any doctest adjustments have been made, and will then make a PR.

Alternatives Considered

I considered doing nothing but decided not to.

Additional Information

This is not a bug, nor a build problem, nor a feature request, but we seem to not have a category for it so I chose Feature Request.

Is there an existing issue for this?

  • I have searched the existing issues for a bug report that matches the one I want to file, without success.
@JohnCremona JohnCremona added t: enhancement c: packages: standard dependencies Pull requests that update a dependency file labels Nov 12, 2024
@JohnCremona JohnCremona self-assigned this Nov 12, 2024
@JohnCremona JohnCremona linked a pull request Nov 13, 2024 that will close this issue
3 tasks
JohnCremona added a commit to JohnCremona/sage that referenced this issue Nov 19, 2024
JohnCremona added a commit to JohnCremona/sage that referenced this issue Nov 19, 2024
JohnCremona added a commit to JohnCremona/sage that referenced this issue Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c: packages: standard dependencies Pull requests that update a dependency file t: enhancement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant