(library
 (name geneweb_def_show)
 (preprocess
  (staged_pps ppx_import ppx_deriving.show))
 (public_name geneweb.def_show)
 (libraries geneweb_def geneweb_gwdb)
 (modules def_show)
 (wrapped false))
