flintlib: update to 2.8.2.

This commit is contained in:
Gonzalo Tornaría 2021-10-16 12:33:57 -03:00 committed by Érico Nogueira Rolim
parent 7768956081
commit 32e87ff77f
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'flintlib'
pkgname=flintlib
version=2.8.1
version=2.8.2
revision=1
wrksrc="flint-${version}"
build_style=configure
@ -11,7 +11,7 @@ maintainer="Gonzalo Tornaría <tornaria@cmat.edu.uy>"
license="LGPL-2.1-or-later"
homepage="https://flintlib.org"
distfiles="https://flintlib.org/flint-${version}.tar.gz"
checksum=edfdda7a7cb847db4e55e050349259cbc9778589686007fb45602d36ecfb427e
checksum=4e878577dc1e17b27887272ff1dff1721189b078d36682c5ceb71b34cd1b3484
build_options="ntl"
desc_option_ntl="enable NTL support"