(library
 (name helm_grafite_engine)
 (libraries helm_grafite_parser helm_ng_tactics helm_ng_extraction)
 (wrapped false))
(env
  (_
    (flags (:standard -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50))))