Skip to content

Cherry-picked changes from main branch to flint-3.1 #1994

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
Merged
merged 1 commit into from
May 22, 2024
Merged

Cherry-picked changes from main branch to flint-3.1 #1994

merged 1 commit into from
May 22, 2024

Conversation

edgarcosta
Copy link
Member

This is #1993, but for the branch flint-3.1

@edgarcosta edgarcosta mentioned this pull request May 22, 2024
Merged
6 tasks
@edgarcosta edgarcosta force-pushed the release-version-3.1 branch from 05de7c3 to 2928fe5 Compare May 22, 2024 16:52
@edgarcosta
Copy link
Member Author

This now includes #1995

And I double-checked against my release, https://github.com/edgarcosta/flint/releases, that now we get the right version assigned.

  ~/Downloads/flint-3.1.3-p3  grep -rF "3.1.0"                                                                                                                                                                                    INT ✘
./configure.ac:# 3.1.0 => 19.0.0
./configure:# 3.1.0 => 19.0.0
./doc/source/history.rst:2024-02-25 -- FLINT 3.1.0
  ~/Downloads/flint-3.1.3-p3  grep -rF "3.1.3-p3"                                                                                                                                                                                     ✔
./configure:# Generated by GNU Autoconf 2.71 for FLINT 3.1.3-p3.
./configure:PACKAGE_VERSION='3.1.3-p3'
./configure:PACKAGE_STRING='FLINT 3.1.3-p3'
./configure:\`configure' configures FLINT 3.1.3-p3 to adapt to many kinds of systems.
./configure:     short | recursive ) echo "Configuration of FLINT 3.1.3-p3:";;
./configure:FLINT configure 3.1.3-p3
./configure:It was created by FLINT $as_me 3.1.3-p3, which was
./configure:FLINT_VERSION_FULL=3.1.3-p3
./configure:tail=3.1.3-p3
./configure:This file was extended by FLINT $as_me 3.1.3-p3, which was
./configure:FLINT config.status 3.1.3-p3
./VERSION:3.1.3-p3

@edgarcosta edgarcosta merged commit e0926f1 into flintlib:flint-3.1 May 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@edgarcosta