matita/matita.opam

   1 # This file is generated by dune, edit dune-project instead
   2 opam-version: "2.0"
   3 synopsis: "A short synopsis"
   4 description: "A longer description"
   5 maintainer: ["Maintainer Name"]
   6 authors: ["Author Name"]
   7 license: "LICENSE"
   8 tags: ["topics" "to describe" "your" "project"]
   9 homepage: "https://github.com/username/reponame"
  10 doc: "https://url/to/documentation"
  11 bug-reports: "https://github.com/username/reponame/issues"
  12 depends: [
  13   "ocaml"
  14   "dune" {>= "3.6"}
  15   "odoc" {with-doc}
  16 ]
  17 build: [
  18   ["dune" "subst"] {dev}
  19   [
  20     "dune"
  21     "build"
  22     "-p"
  23     name
  24     "-j"
  25     jobs
  26     "@install"
  27     "@runtest" {with-test}
  28     "@doc" {with-doc}
  29   ]
  30 ]
  31 dev-repo: "git+https://github.com/username/reponame.git"