path: root/gnu/lib/libgmp/version.c

static char *gmp_version = "2.0.1";