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.07.0" & < "4.10.0"}
16 "oasis" {build & >= "0.4.7"}
17 "monads"
18]
19synopsis: "Knowledge Representation Library"
20description: """
21The library provides facilities for storing, accumulating, and
22computing knowledge. The knowledge could be represented indirectly,
23in the Knowledge Base, or directly as knowledge values. The
24library focuses on representing knowledge that is partial and
25provides mechanisms for knowledge accumulation and
26refinement. The knowledge representation library leverages the
27powerful type system of the OCaml language to facilitate
28development of complex knowledge representation and reasoning systems.
29"""
30url {
31 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz"
32 checksum: [
33 "sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de"
34 "md5=3db9deac8d429b9b8a8ec9aec54987b1"
35 ]
36 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.1.0/v2.1.0.tar.gz"
37}