void-packages/srcpkgs/flintlib
Gonzalo Tornaría 91dd1f8ca7 flintlib: update to 2.8.1.
Also: build without ntl when cross-compiling, since ntl is nocross.
2021-10-03 01:53:07 -03:00
..
template
update