2011/08/02 18:26  wlallemand@wlallemand-desktop

	* released gmp-4.2.4-flx1.3
	* x86_64

2011/02/17 12:39  emeric@ebr-laptop

	* released gmp-4.2.4-flx1.2

2010/12/16 16:57  emeric@ebr-laptop

	* released gmp-4.2.4-flx1.1