this repo has no description
Merge pull request #26563 from recoules/release-unisim_archisec-0.0.9
[new release] unisim_archisec (0.0.9)
authored by
Shon Feder
and committed by
GitHub
9c023e20
17707c01
+46
+46
packages/unisim_archisec/unisim_archisec.0.0.9/opam
+46
packages/unisim_archisec/unisim_archisec.0.0.9/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "UNISIM-VP DBA decoder"
3
+
description: """
4
+
5
+
UNISIM ARCHISEC is a companion project 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 and x86."""
8
+
maintainer: ["BINSEC <binsec@saxifrage.saclay.cea.fr>"]
9
+
authors: ["Yves Lhuillier" "Frédéric Recoules"]
10
+
license: "BSD-3-Clause"
11
+
homepage: "https://binsec.github.io"
12
+
bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
13
+
depends: [
14
+
"dune" {>= "3.0"}
15
+
"conf-gcc" {build}
16
+
"conf-g++" {build}
17
+
"odoc" {with-doc}
18
+
]
19
+
conflicts: [
20
+
"binsec" {< "0.5.0"}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
dev-repo: "git+https://github.com/binsec/unisim_archisec.git"
37
+
available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew" ]
38
+
url {
39
+
src:
40
+
"https://github.com/binsec/unisim_archisec/releases/download/0.0.9/unisim_archisec-0.0.9.tbz"
41
+
checksum: [
42
+
"sha256=2bb9c1410be7b06520cc630b18eef53fd2f53f8df20e89777b5ee0948f32df91"
43
+
"sha512=4c120b6ef1bbb44bc0fdd1b0f0f299f8d40d1c8405df9f8eebd0376d4480cb2b2c26f47b2dd4b8d149082854fb3ed3ee09f895cb7bb2db1fd7833b38e947f44b"
44
+
]
45
+
}
46
+
x-commit-hash: "7b4bc4c42d608ae6fc17ea7ed558f41b35b3ec73"