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