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