void-packages/srcpkgs/flintlib/update

4 lines
115 B
Text
Raw Normal View History

2018-02-03 01:42:49 +00:00
# package was named 'flintlib' because of another package
pkgname=flint
site="https://flintlib.org/downloads.html"