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

Commit

Permalink
update flint to 2.8.4
Browse files Browse the repository at this point in the history
  • Loading branch information
Jonathan Kliem authored and Matthias Koeppe committed Feb 2, 2022
1 parent 439907f commit b6c8b76
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=0e095e667ed4424e2280c49a9e6a513d12622823
md5=05a5f77732a05b590972d2349e6f6bb0
cksum=2043627147
sha1=d17a245bddec753c6eb5841b28d0322ba0c9e2b6
md5=484e62dd7326a4af6e2072f4edbc769f
cksum=1002348409
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.7.1.p0
2.8.4

0 comments on commit b6c8b76

Please sign in to comment.