1. 2014-02-10 [3] tuneup crash after proper libgmp build/check/install gmp-bugs Marc-Olivier 2. 2014-02-08 [4] mini-gmp gmp-bugs bodrato at ma 3. 2014-02-05 [7] gcc installation problem gmp-bugs Niels =?iso-8 4. 2014-02-04 [2] gmp-4.3.2 make check seg fault (result) gmp-bugs Torbjorn Gran