this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ghiles Ziat <ghiles.ziat@isae-supaero.fr"
3authors: [
4 "Ghiles Ziat <ghiles.ziat@isae-supaero.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"
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13]
14depends: [
15 "dune" {>= "2.1"}
16 "ocaml" {>= "4.08"}
17 "apronext" {>= "1.0.3"}
18 "apron"
19]
20depopts: [
21 "lablgtk"
22 "graphics"
23 ]
24synopsis: "Abstract elements drawing library"
25description: "A toolbox for drawing abstract elements"
26url {
27 src: "https://github.com/ghilesZ/picasso/archive/0.3.0.tar.gz"
28 checksum: [
29 "md5=affad892e29f2da2db4792592de90f13"
30 "sha512=c7cf6182605e8a3f12629de0ff0b54e2285bb9790340121fea89fed8512c4b941200552ab8d92a046e8c2bd3054b9bc772453cc98d13b2b48a4cc266dde52315"
31 ]
32}