coq-plugin/coq-my-plugin.opam

22 lines
322 B
Plaintext

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
license: "Apache-2.0"
depends: [
"dune" {>= "3.6"}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]