# This file was generated from `meta.yml`, please do not edit manually.
# Follow the instructions on https://github.com/coq-community/templates to regenerate.

opam-version: "2.0"
maintainer: "gmalecha@gmail.com"
version: "dev"

homepage: "https://github.com/coq-community/coq-ext-lib"
dev-repo: "git+https://github.com/coq-community/coq-ext-lib.git"
bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
doc: "https://coq-community.github.io/coq-ext-lib/"
license: "BSD-2-Clause"

synopsis: "A library of Coq definitions, theorems, and tactics"
description: """
A collection of theories and plugins that may be useful in other Coq developments."""

build: [make "-j%{jobs}%" "theories"]
run-test: [make "-j%{jobs}%" "examples"]
install: [make "install"]
depends: [
  "coq" { >= "8.9" < "8.10" | >= "8.11" }
]

tags: [
  "logpath:ExtLib"
]
authors: [
  "Gregory Malecha"
]