Skip to content

Commit

Permalink
build/pkgs/flint: Update to 3.1.2
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe committed Apr 10, 2024
1 parent 3c881b1 commit 8c053be
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=5100633e0079e164d93a3e7b8f06e36911c4971b
md5=b172ad8fc59cbb2fa2f2ab31bb3c61fd
cksum=3513046366
sha1=bc3b521c97119a8ce1db603a381c0a9bab0810c8
md5=69326b8baad110f04601a5fed97610f6
cksum=2579119628
upstream_url=https://github.com/flintlib/flint/releases/download/vVERSION/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 @@
3.1.0
3.1.2

0 comments on commit 8c053be

Please sign in to comment.