(library
 (name Extraction)
 (public_name coqup.extraction)
 (flags (:standard -warn-error -A)))