this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "CaLLi : OCaml Library for Static Analysis of LLVM bitcode"
3maintainer: ["Soyeon Baek <sy.baek28@gmail.com>"]
4authors: ["Soyeon Baek <sy.baek28@gmail.com>"]
5homepage: "https://github.com/cnu-ants/CaLLi"
6bug-reports: "https://github.com/cnu-ants/CaLLi/issues"
7dev-repo: "git+https://github.com/cnu-ants/CaLLi.git"
8license: "MIT"
9build: [
10 ["dune" "build" "-p" name]
11]
12depends: [
13 "ocaml" {>= "4.13"}
14 "dune" {>= "2.9"}
15 "llvm"
16 "zarith"
17 "containers"
18]
19url {
20 src: "https://github.com/cnu-ants/CaLLi/archive/refs/tags/0.2.tar.gz"
21 checksum: [
22 "md5=bd68c856a1de7b742ba147275692e6e2"
23 "sha512=9e11baaee9056e4dfff45ddf898d1887840d9749dda82452ee2fce91dbabeeac377bc115dd0c35c55630c14d122c4f0cd065ecbc1baff8d36ef7033c06dbd27d"
24 ]
25}