this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ghiles Ziat <ghiles.ziat@epita.fr"
3authors: [
4 "Ghiles Ziat <ghiles.ziat@epita.fr"
5 "Matthieu Journault <Matthieu.journault@lip6.fr>"
6 ]
7homepage: "https://github.com/ghilesZ/picasso"
8bug-reports: "https://github.com/ghilesZ/picasso/issues"
9dev-repo: "git+https://github.com/ghilesZ/picasso"
10license: "LGPL-2.0-or-later"
11build: [
12 ["dune" "subst"] {dev}
13 ["dune" "build" "-p" name "-j" jobs]
14]
15depends: [
16 "dune" {>= "2.1"}
17 "ocaml" {>= "4.08"}
18 "apronext" {>= "1.0.3"}
19 "apron"
20]
21depopts: [
22 "lablgtk"
23 "graphics"
24 ]
25synopsis: "Abstract elements drawing library"
26description: "A toolbox for drawing abstract elements"
27url {
28 src: "https://github.com/ghilesZ/picasso/archive/0.4.tar.gz"
29 checksum: [
30 "md5=d6028ccae6933bf903f34137c335f5ce"
31 "sha512=d8adf3324a27f016d0f6a08ff4afa714185c31e6dcf176e36053564c5e66e3cb734115e11ce6b68a7ed118291ef47f108efea3e3a2272e35b946661ea88e5eff"
32 ]
33}