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/v0.2.0.tar.gz"
28 checksum: [
29 "md5=c3016b30afc69954d229848b75bb0712"
30 "sha512=ca5ec5a2cb621cdd958b03491931c852ce4b474d50b6a0fec3559bf0afcdceb087006eea05e6487ccfd7981d3aabc967ba62b86786ea3b51ea0ccda57792b9e3"
31 ]
32}