opam-version: "2.0"
maintainer: "Ghiles Ziat <ghiles.ziat@isae-supaero.fr"
authors: [
  "Ghiles Ziat <ghiles.ziat@isae-supaero.fr"
  "Matthieu Journault <Matthieu.journault@lip6.fr>"
  ]
homepage: "https://github.com/ghilesZ/picasso"
bug-reports: "https://github.com/ghilesZ/picasso/issues"
dev-repo: "git+https://github.com/ghilesZ/picasso"
build: [
  ["dune" "subst"] {pinned}
  ["dune" "build" "-p" name "-j" jobs]
]
depends: [
  "dune"  {>= "2.1"}
  "ocaml" {>= "4.08"}
  "lablgtk"
  "apronext" {>= "1.0.1" & < "1.0.3"}
  "apron"
]
synopsis: "Abstract elements drawing library"
description: "A toolbox for drawing abstract elements"
url {
  src: "https://github.com/ghilesZ/picasso/archive/v0.1.tar.gz"
  checksum: [
    "md5=021f5cd8c75f3994f838eb82db686b7d"
    "sha512=cd46134c43112b17dbc8350c6e19709b656305df83e1c77e00522e3a6757b573a03f229933f030e59f6dbc4a709436296072602d8743be75297a3e144dc6aeeb"
  ]
}
