diff options
Diffstat (limited to 'libraries/flint/flint.info')
| -rw-r--r-- | libraries/flint/flint.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libraries/flint/flint.info b/libraries/flint/flint.info new file mode 100644 index 0000000000..3226b5adf1 --- /dev/null +++ b/libraries/flint/flint.info @@ -0,0 +1,10 @@ +PRGNAM="flint" +VERSION="2.6.3" +HOMEPAGE="http://www.flintlib.org/" +DOWNLOAD="http://www.flintlib.org/flint-2.6.3.tar.gz" +MD5SUM="ed3a6cab37fe2298d9cfaead6ccd1dc7" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="R. Jesus" +EMAIL="rj dot bcjesus at gmail dot com" |