# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "7.0.0"
synopsis: "Some extra functions for dose3"
maintainer: [
  "Pietro Abate" "Johannes Schauer Marin Rodrigues" "Ralf Treinen"
]
authors: [
  "Pietro Abate"
  "Ralf Treinen"
  "Jaap Boender"
  "Johannes Schauer Marin Rodrigues"
  "Roberto Di Cosmo"
  "Felipe Garay"
  "Stefano Zacchiroli"
  "Jakub Zwolakowski"
  "Olivier Rosello"
]
license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
homepage: "http://www.mancoosi.org/software/"
doc: "https://irill.gitlab.io/dose3"
bug-reports: "https://gitlab.com/irill/dose3/issues/"
depends: [
  "dune" {>= "2.7"}
  "ocaml" {>= "4.03"}
  "extlib" {>= "1.7.8"}
  "camlbz2" {>= "0.7.0"}
  "camlzip" {>= "1.08"}
  "parmap"
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://gitlab.com/irill/dose3.git"
