name="gmp"
version="0.13"
description="bindings to GNU MP library"
archive(byte)="gmp.cma"
archive(native)="gmp.cmxa"
requires=""
directory="+gmp"
