theories/dune


1
2
3
4
5
6

(coqlib
 (name Ltac2) ; This determines the -R flag
 (public_name ltac2.Ltac2)
 (synopsis "Ltac 2 Plugin")
 (libraries ltac2.plugin))