this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A library for manipulating Labeled Transition Systems in OCaml"
3description: "A library for manipulating Labeled Transition Systems in OCaml"
4maintainer: ["Jocelyn Sérot <jocelyn.serot@uca.fr>"]
5authors: ["Jocelyn Sérot <jocelyn.serot@uca.fr>"]
6license: "MIT"
7homepage: "http://github.com/jserot/lascar"
8doc: "http://jserot.github.io/lascar"
9bug-reports: "jocelyn.serot@uca.fr"
10depends: [
11 "dune" {>= "1.11"}
12 "ocaml" {>= "4.08" & < "5.0.0"}
13]
14build: [
15 ["dune" "subst"] {dev}
16 [
17 "dune"
18 "build"
19 "-p"
20 name
21 "-j"
22 jobs
23 "@install"
24 "@runtest" {with-test}
25 "@doc" {with-doc}
26 ]
27]
28dev-repo: "git+https://github.com/jserot/lascar.git"
29url {
30 src:
31 "https://github.com/jserot/lascar/releases/download/0.6.0/lascar-0.6.0.tbz"
32 checksum: [
33 "sha256=343190b9c765655e787758db86a82818404dda18b4d2806283b4bde3ced91d26"
34 "sha512=2b6534ac438d574228d127b3b4e2cfec17b8b95e95124297c8da351caf34de2bb4ec8a31028a1470ba7f42aa932257293d021140a5a1c2642d1a60a8123d00a0"
35 ]
36}