matita/components/content/dune

   1 (library
   2  (name helm_content)
   3  (libraries helm_library helm_ng_kernel)
   4  (wrapped false))
   5 (env
   6   (dev
   7     (flags (:standard -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50))))