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 "lablgtk"
18 "apronext" {>= "1.0.1" & < "1.0.3"}
19 "apron"
20]
21synopsis: "Abstract elements drawing library"
22description: "A toolbox for drawing abstract elements"
23url {
24 src: "https://github.com/ghilesZ/picasso/archive/v0.1.tar.gz"
25 checksum: [
26 "md5=021f5cd8c75f3994f838eb82db686b7d"
27 "sha512=cd46134c43112b17dbc8350c6e19709b656305df83e1c77e00522e3a6757b573a03f229933f030e59f6dbc4a709436296072602d8743be75297a3e144dc6aeeb"
28 ]
29}