FLINT release

SHA256 Checksums

96637ba9de43397d06657deefe8e6dee9d226992b5526bb1c9a9d563b983e027  flint-3.1.3-p1.tar.gz
8d75df8f2347534bd3245ef6f43cb91e43abd152572c6fe0bfffda55ec014920  flint-3.1.3-p1.tar.xz
d7ed2173ae89a3242f90f4e57fe2609c81041d5320e75d80c603e889db4b59fe  flint-3.1.3-p1.zip

v3.1.3

Fix bugs in the `fq_default` context initialisers

v3.1.2

Remove the use of ldconfig in configuration and build

v3.1.1

Call this v3.1.1

v3.1.0

Add option for setting -march=ARCH

Thanks to @tornaria for bringing this up

v3.0.1

call this 3.0.1

v3.0.0

call this 3.0.0

v3.0.0-rc1

no trailing newline