.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

pkgbase = binsec
	pkgdesc = Open-source toolset to help improve software security at the binary level
	pkgver = 0.9.1
	pkgrel = 1
	url = https://binsec.github.io
	arch = x86_64
	license = LGPL-2.1-or-later
	checkdepends = ocaml-ounit
	checkdepends = ocaml-qcheck
	makedepends = dune>=3.0
	makedepends = ocaml-menhir
	makedepends = ocaml-unisim_archisec
	depends = bitwuzla
	depends = glibc
	depends = gmp
	depends = ocaml-curses
	depends = ocaml-grain_dypgen
	depends = ocaml-ocamlgraph>=1.8.5
	depends = ocaml-toml
	depends = ocaml-zarith>=1.4
	depends = ocaml>=4.11
	optdepends = bash: make_coredump.sh
	optdepends = boolector: Boolector SMT solver
	optdepends = z3: Z3 SMT solver
	optdepends = cvc4: CVC4 SMT solver
	optdepends = yices: Yices 2 SMT Solver
	source = binsec-0.9.1.tar.gz::https://github.com/binsec/binsec/archive/refs/tags/0.9.1.tar.gz
	b2sums = 73b2a967d6b04188347f8d86c6fddbb58b6c762ee3f606471fd1899010ee4053ae5f83578483610cf84fada44bd1a34ad8902a6653115f1ab780c42b66b96aa7

pkgname = binsec