Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / libraries / integer-gmp /
drwxr-xr-x   ..
-rw-r--r-- 198 .gitignore
-rw-r--r-- 1542 LICENSE
-rw-r--r-- 114 Setup.hs
-rw-r--r-- 1378 aclocal.m4
drwxr-xr-x - cbits
-rw-r--r-- 1910 changelog.md
-rwxr-xr-x 44275 config.guess
-rwxr-xr-x 36515 config.sub
-rw-r--r-- 3436 configure.ac
drwxr-xr-x - gmp
drwxr-xr-x - include
-rwxr-xr-x 13997 install-sh
-rw-r--r-- 163 integer-gmp.buildinfo.in
-rw-r--r-- 1387 integer-gmp.cabal
drwxr-xr-x - src