-
-
Notifications
You must be signed in to change notification settings - Fork 515
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Support FLINT 2.8.0 #32175
Milestone
Comments
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
comment:3
With #32211 I am getting
|
Branch: u/mkoeppe/support_flint_2_8_0 |
New commits:
|
Author: Matthias Koeppe |
This comment has been minimized.
This comment has been minimized.
Commit: |
comment:8
lgtm |
Reviewer: Dima Pasechnik |
comment:9
Normally adding a patch requires a revision bump. |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
comment:13
Good. |
Changed branch from u/mkoeppe/support_flint_2_8_0 to |
# for free
to join this conversation on GitHub.
Already have an account?
# to comment
flint-2.8.0-beta1 was released 2021-07-09 https://groups.google.com/g/sage-devel/c/EPoTzfCz3lg/m/aofwmlpWAAAJ
This ticket serves as the target ticket of the proposed portability testing workflow for FLINT (flintlib/flint#972)
A patch to
arb
is required.Test ticket with the FLINT upgrade: #32211
Depends on #31525
CC: @dimpase @kiwifb @antonio-rojas
Component: packages: standard
Author: Matthias Koeppe
Branch/Commit:
ff0c762
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/32175
The text was updated successfully, but these errors were encountered: