From 8c71a1c694075d021008794ef3a6fd461ec4dc0e Mon Sep 17 00:00:00 2001 From: Vincent Delecroix <20100.delecroix@gmail.com> Date: Sat, 20 Feb 2021 09:59:28 +0100 Subject: [PATCH] 31069: flint version upgrade --- build/pkgs/flint/checksums.ini | 6 +++--- build/pkgs/flint/package-version.txt | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build/pkgs/flint/checksums.ini b/build/pkgs/flint/checksums.ini index 766b27eb8fc..04b3653585a 100644 --- a/build/pkgs/flint/checksums.ini +++ b/build/pkgs/flint/checksums.ini @@ -1,5 +1,5 @@ tarball=flint-VERSION.tar.gz -sha1=7d3c6046d87e0ee143d217c76fb8e2e196c36019 -md5=ed3a6cab37fe2298d9cfaead6ccd1dc7 -cksum=2609134913 +sha1=0e095e667ed4424e2280c49a9e6a513d12622823 +md5=05a5f77732a05b590972d2349e6f6bb0 +cksum=2043627147 upstream_url=http://flintlib.org/flint-VERSION.tar.gz diff --git a/build/pkgs/flint/package-version.txt b/build/pkgs/flint/package-version.txt index ec1cf33c3f6..860487ca19c 100644 --- a/build/pkgs/flint/package-version.txt +++ b/build/pkgs/flint/package-version.txt @@ -1 +1 @@ -2.6.3 +2.7.1