opam-version: "2.0"
maintainer: "https://github.com/ocaml/opam-repository/issues"
authors: [
  "Roberto Di Cosmo"
  "Ralf Treinen"
  "Stefano Zacchiroli"
  "Pietro Abate"
  "Jaap Boender"
  "Jakub Zwolakowski"
  "Olivier Rosello"
  "Johannes Schauer"
]
homepage: "http://www.mancoosi.org/software/"
license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
substs: ["dose.ocp"]
build: [
  ["ocp-build" "-init"]
  ["ocp-build" "-scan" "dose" "-v" "0"]
  ["mv" "META.dose3" "META"]
  ["ocamlfind" "install" "dose3" "META"]
  ["mv" "META.dose" "META"]
]
remove: [
  ["ocamlfind" "remove" "dose"]
  ["ocamlfind" "remove" "dose3"]
]
depends: [
  "ocaml"
  "ocp-build" {>= "1.99.3-beta"}
  "ocamlgraph" {<= "1.8.5"}
  "cudf" {= "0.6.3"}
  ("extlib" | "extlib-compat")
  "re" {>= "1.2.0"}
  "ocamlbuild" {build}
]
patches: [
  "patches/0001-Added-portable-invocation-of-mktemp-for-Linux-and-BS.patch"
  "patches/0002-Sanitize-the-string-containing-the-criteria-before-p.patch"
  "patches/0003-Modified-pattern-interpolation-to-ensure-only-one-is.patch"
  "patches/0004-All-errors-from-cudfsolver-are-now-exceptions-and-no.patch"
  "patches/0005-Fix-upgrade-bug-in-the-check_request-function.patch"
  "patches/0006-Fix-compilation-problems-with-ocaml-4.0.1.patch"
  "patches/0007-Fixed-code-for-computing-upgrade-constraints-handle-.patch"
  "patches/0008-Use-re.pcre-instead-of-pcre.patch"
  "patches/0009-Hardcode-__FILE__-macros.patch"
  "patches/0010-Hardcode-IFDEF-macros-assuming-false.patch"
]
synopsis: "Dose library (part of Mancoosi tools)"
flags: light-uninstall
extra-files: [
  ["dose.ocp.in" "md5=a8f9a45c18ff3e606957365311ca6118"]
  ["dose.install" "md5=d291a155f2f714e8260ba7ac8dd3ad79"]
  ["META.dose3" "md5=3e3e1abdcdce1d7f2bb29d7b8f16d090"]
  ["META.dose" "md5=b07e5ba20e50000b872e9f924111e7f8"]
  [
    "patches/0010-Hardcode-IFDEF-macros-assuming-false.patch"
    "md5=59778bee2a9828fe3384d202bd81aca2"
  ]
  [
    "patches/0009-Hardcode-__FILE__-macros.patch"
    "md5=97e92b31d4176fdc236e87a787323b4c"
  ]
  [
    "patches/0008-Use-re.pcre-instead-of-pcre.patch"
    "md5=d0aa0bf9c5f39797c7dd65d40f6f95a2"
  ]
  [
    "patches/0007-Fixed-code-for-computing-upgrade-constraints-handle-.patch"
    "md5=fa4328d80e8232c8f368d6a80ca27846"
  ]
  [
    "patches/0006-Fix-compilation-problems-with-ocaml-4.0.1.patch"
    "md5=5e63736b6215914f2fcd9378d56341a8"
  ]
  [
    "patches/0005-Fix-upgrade-bug-in-the-check_request-function.patch"
    "md5=444933f6a781876d2f37ad6f07f2725a"
  ]
  [
    "patches/0004-All-errors-from-cudfsolver-are-now-exceptions-and-no.patch"
    "md5=a9a64be6f4275daea3d7ced7db198288"
  ]
  [
    "patches/0003-Modified-pattern-interpolation-to-ensure-only-one-is.patch"
    "md5=4b457147754c9f6615f7013ce1b7638f"
  ]
  [
    "patches/0002-Sanitize-the-string-containing-the-criteria-before-p.patch"
    "md5=e52c26977034693740493c17778822a9"
  ]
  [
    "patches/0001-Added-portable-invocation-of-mktemp-for-Linux-and-BS.patch"
    "md5=62031ffb1466fc26256282b3227ffa9a"
  ]
]
url {
  src: "https://gforge.inria.fr/frs/download.php/31595/dose3-3.1.2.tar.gz"
  checksum: "md5=e98ff720fcc3873def46c85c6a980a1b"
}
