issues
search
flintlib
/
arb
Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
457
stars
137
forks
source link
[configure] add --with-pkg-config
#449
Open
bobot
opened
1 year ago
bobot
commented
1 year ago
Same as
https://github.com/flintlib/flint2/pull/1215
Same as https://github.com/flintlib/flint2/pull/1215