this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "UNISIM-VP DBA decoder"
3description: """
4
5UNISIM ARCHISEC is a companion package of the binary analysis platform
6BINSEC. It exposes disassembly metadata and DBA (Dynamic Bitvector Automata)
7semantics of several instruction set architectures, including ARM, x86_64,
8ppc64 and Sparcv8."""
9maintainer: ["BINSEC <binsec@saxifrage.saclay.cea.fr>"]
10authors: ["Frédéric Recoules" "Yves Lhuillier"]
11license: "BSD-3-Clause"
12homepage: "https://binsec.github.io"
13bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
14depends: [
15 "ocaml" {>= "4.08"}
16 "dune" {>= "3.0"}
17 "conf-gcc" {build}
18 "conf-g++" {build}
19 "odoc" {with-doc}
20]
21conflicts: [
22 "binsec" {< "0.10.0"}
23]
24build: [
25 ["dune" "subst"] {dev}
26 [
27 "dune"
28 "build"
29 "-p"
30 name
31 "-j"
32 jobs
33 "@install"
34 "@runtest" {with-test}
35 "@doc" {with-doc}
36 ]
37]
38dev-repo: "git+https://github.com/binsec/unisim_archisec.git"
39available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew" ]
40url {
41 src:
42 "https://github.com/binsec/unisim_archisec/releases/download/0.0.10/unisim_archisec-0.0.10.tbz"
43 checksum: [
44 "sha256=94c5a24a1865dd8588efae04807aa85d771ef8d1917b672538156babd3aa2df8"
45 "sha512=68fd57a819a850883917ccf30e3ac938c3a521d06a68be595a6ad9c125f0c892679545f76c718dcd9095032462aa995105fcd8b852f180b4747a99640be561d5"
46 ]
47}
48x-commit-hash: "64b84680f0aaecf0872b1e0d914d35d067b51312"