blob: 47ceb882b156cede03b45e5a24e5ee63347962dd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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 ]
|
