eclib: revbump for flintlib
This commit is contained in:
parent
c7e27e41c3
commit
e7771363e4
@ -1,7 +1,7 @@
|
|||||||
# Template file for 'eclib'
|
# Template file for 'eclib'
|
||||||
pkgname=eclib
|
pkgname=eclib
|
||||||
version=20231212
|
version=20231212
|
||||||
revision=1
|
revision=2
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--with-flint --with-boost"
|
configure_args="--with-flint --with-boost"
|
||||||
makedepends="pari-devel ntl-devel flintlib-devel boost-devel"
|
makedepends="pari-devel ntl-devel flintlib-devel boost-devel"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user