blob: 54545f57251222fe8fbc66f833d28b5026ea695e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = ocaml-unisim_archisec
pkgdesc = Disassembly metadata and DBA (Dynamic Bitvector Automata) semantics of several instruction set architectures
pkgver = 0.0.9
pkgrel = 2
url = https://binsec.github.io
arch = x86_64
license = BSD-3-Clause
makedepends = dune>=3.0
depends = gcc-libs
depends = glibc
depends = ocaml
source = ocaml-unisim_archisec-0.0.9.tar.gz::https://github.com/binsec/unisim_archisec/archive/refs/tags/0.0.9.tar.gz
b2sums = a72ae085101b7861b55872b82f67a8e653aa0e6a118c23a9bc77c4986a75fb47a94705bef5f6330c1610a66ceb4a1b9065e9aee63693e3a825956895d91c8962
pkgname = ocaml-unisim_archisec
|