Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/godiva/eL.cmi_pretty GODI Package apps-godiva
Library godiva
 
   eL.cmi_pretty    eL.mli    Sources  
type spec =
  EL.spec = {
  name : string;
  version : string;
  revision : int;
  category : Common.category;
  depends : Common.dep list;
  build_depends : Common.dep list;
  sources_site : string;
  sources_basename : string;
  sources_extension : string;
  sources_unpacksto : string option;
  homepage : string;
  maintainer : string;
  short_desc : string;
  long_desc : string;
  options : Common.options list;
  docfiles : string list;
  confopts : Common.confopt list;
  all_target : string option;
  opt_target : string option;
  specfile : string;
}
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml