this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A library for manipulating Labeled Transition Systems in OCaml"
3maintainer: "Jocelyn Sérot <jocelyn.serot@uca.fr>"
4authors: "Jocelyn Sérot <jocelyn.serot@uca.fr>"
5license: "MIT"
6homepage: "http://cloud.ip.univ-bpclermont.fr/~serot/lascar/"
7bug-reports: "jocelyn.serot@uca.fr"
8dev-repo: "git+https://github.com/jserot/lascar.git"
9depends: [
10 "ocaml" {>= "4.03" & < "5.0"}
11 "camlp4"
12 "ocamlfind" {build}
13]
14build: [
15 ["./configure"]
16 [make]
17 [make "doc"]
18]
19install: [
20 [make "install"]
21 [make "install-doc"]
22]
23url {
24 src: "https://github.com/jserot/lascar/archive/0.5.tar.gz"
25 checksum: [
26 "sha256=832dda5f7eb4fbebfcafc0707bf662948439c912118c85faa47adabe6c722ac6"
27 "md5=ef21f44866b619b8da4d578f6feab5c5"
28 ]
29}