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:
21 "https://github.com/cnu-ants/CaLLi_analyzer/archive/refs/tags/0.1.tar.gz"
22 checksum: [
23 "md5=a8a2a047d4abec1277375276ee601432"
24 "sha512=c7d56afaed8aa6d6ca19aa515340fcbd7dccfd3308628030c5e53a3ed2a17e0c44c9f7496778a15b5dbc807c14db068f388585bca89f2c3f5cf433909fc942fa"
25 ]
26}