void-packages/srcpkgs/flintlib/update

4 lines
115 B
Plaintext

# package was named 'flintlib' because of another package
pkgname=flint
site="https://flintlib.org/downloads.html"