this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ivan Gotovchits <ivg@ieee.org>"
3authors: "BAP Team"
4homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
5bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
6dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
7license: "MIT"
8build: [
9 ["./configure" "--prefix=%{prefix}%" "--enable-knowledge"]
10 [make]
11]
12install: [[make "install"]]
13remove: [["ocamlfind" "remove" "knowledge"]]
14depends: [
15 "ocaml" {>= "4.08.0" }
16 "core_kernel" {>= "v0.14" & < "v0.16"}
17 "ppx_bap"
18 "oasis" {build & >= "0.4.7"}
19 "monads" {= "2.5.0"}
20]
21synopsis: "Knowledge Representation Library"
22description: """
23The library provides facilities for storing, accumulating, and
24computing knowledge. The knowledge could be represented indirectly,
25in the Knowledge Base, or directly as knowledge values. The
26library focuses on representing knowledge that is partial and
27provides mechanisms for knowledge accumulation and
28refinement. The knowledge representation library leverages the
29powerful type system of the OCaml language to facilitate
30development of complex knowledge representation and reasoning systems.
31"""
32
33url {
34 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.5.0.tar.gz"
35 checksum: [
36 "sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174"
37 "md5=5abd9b3628b43f797326034f31ca574f"
38 ]
39 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.5.0/v2.5.0.tar.gz"
40}