(library
 (name aac_plugin)
 (public_name coq-aac-tactics.plugin)
 (flags :standard -w -3-27-32)
 (libraries coq-core.plugins.ltac))

(coq.pp (modules aac))
