Docs GODI Archive
Projects Blog Link DB

Look up function:

(e.g. "List.find" or "keysym")
More options

FREE SOFTWARE ON CAMLCITY.ORG

GODI Package conf-gmp

Configures which gmp library to use

This package configures where the gmp includes and libraries can be found.

Version: 1
Homepage: n/a
Maintainer: raffalli@univ-savoie.fr
Files: lib/godi/conf-gmp.mk
Built from sources:
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml