blob: f359a6ff752be48d3ca4647a5438224ab3e4fa72 (
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.10
pkgrel = 1
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.10.tar.gz::https://github.com/binsec/unisim_archisec/archive/refs/tags/0.0.10.tar.gz
b2sums = 0a3b4591ab25d3b6582778abe725735c5dbd85b1ea5771084c78ac096b33e39cc80a67698f4bd99dce116b573cfb0248e96d2ed30d17bca615c9f6010a1c9ff0
pkgname = ocaml-unisim_archisec
|