/gmp-mparam.h/1.2/Mon Oct 24 18:18:19 2011//
/gmp.h/1.1/Mon Oct 24 17:29:16 2011//
/gmp.spec/1.8/Thu Sep 25 01:22:13 2014//
D
