use plain 0.10.2 for now, sounds like 0.10.2.2 is not published as ftp yet
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Dec 2012 12:03:36 +0000 (13:03 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Dec 2012 12:03:36 +0000 (13:03 +0100)

No differences found