Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
31069: flint version upgrade
Browse files Browse the repository at this point in the history
  • Loading branch information
@videlec
videlec authored and Matthias Koeppe committed Mar 19, 2021
1 parent ec471e0 commit 8c71a1c
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions build/pkgs/flint/checksums.ini
View file
Original file line number Diff line number Diff line change
@@ -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
2 changes: 1 addition & 1 deletion build/pkgs/flint/package-version.txt
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2.6.3
2.7.1

0 comments on commit 8c71a1c

Please # to comment.