diff options
Diffstat (limited to 'ltac2.opam')
| -rw-r--r-- | ltac2.opam | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ltac2.opam b/ltac2.opam index e69de29bb2..47ceb882b1 100644 --- a/ltac2.opam +++ b/ltac2.opam @@ -0,0 +1,18 @@ +synopsis: "A Tactic Language for Coq." +description: "A Tactic Language for Coq." +name: "coq-ltac2" +opam-version: "2.0" +maintainer: "Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>" +authors: "Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>" +homepage: "https://github.com/ppedrot/ltac2" +dev-repo: "https://github.com/ppedrot/ltac2.git" +bug-reports: "https://github.com/ppedrot/ltac2/issues" +license: "LGPL 2.1" +doc: "https://ppedrot.github.io/ltac2/doc" + +depends: [ + "coq" { = "dev" } + "dune" { build & >= "1.9.0" } +] + +build: [ "dune" "build" "-p" name "-j" jobs ] |