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