Patch-level increment integer-gmp to 1.0.0.1
authorHerbert Valerio Riedel <hvr@gnu.org>
Mon, 28 Dec 2015 09:39:31 +0000 (10:39 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Mon, 28 Dec 2015 10:21:18 +0000 (11:21 +0100)
commit4a10ecba82ca6ac48bf252eb0f98fcc6acfdb7d5
tree92a37c7a04f193d6c198e3c9155ce2e22bf1c338
parent01299ca83996710ec1572c952917157b1c2d139e
Patch-level increment integer-gmp to 1.0.0.1

and update changelog.md
libraries/integer-gmp/changelog.md
libraries/integer-gmp/integer-gmp.cabal
testsuite/tests/ghci/scripts/ghci025.stdout