eclib: rebuild for flintlib-3.0.1

This commit is contained in:
Gonzalo Tornaría 2023-09-13 19:08:05 -03:00 committed by Leah Neukirchen
parent b778556cb8
commit a4314c1007
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
# Template file for 'eclib'
pkgname=eclib
version=20230424
revision=3
revision=4
build_style=gnu-configure
configure_args="--with-flint --with-boost"
makedepends="pari-devel ntl-devel flintlib-devel boost-devel"