search

flintlib / flint

FLINT (Fast Library for Number Theory)
http://www.flintlib.org
GNU Lesser General Public License v3.0
401 stars 235 forks source link

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

Closed edgarcosta closed 1 month ago

edgarcosta commented 1 month ago

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

edgarcosta commented 1 month ago

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