void-packages/srcpkgs/flintlib/update
2021-08-18 15:48:46 -03:00

3 lines
115 B
Text

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