(coq.theory
 (name Ltac2)
 (package coq-stdlib)
 (synopsis "Ltac2 tactic language")
 (flags -w -deprecated-native-compiler-option)
 (libraries coq-core.plugins.ltac2))

(library
 (name ltac2_plugin)
 (public_name coq-core.plugins.ltac2)
 (synopsis "Ltac2 plugin")
 (modules_without_implementation tac2expr tac2qexpr tac2types)
 (libraries coq-core.plugins.ltac))

(coq.pp (modules g_ltac2))
