diff --git a/srcpkgs/eclib/template b/srcpkgs/eclib/template index 1d4ad58f21b..12165ca788d 100644 --- a/srcpkgs/eclib/template +++ b/srcpkgs/eclib/template @@ -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"