.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.10.0
	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.10.0.tar.gz::https://github.com/binsec/binsec/archive/refs/tags/0.10.0.tar.gz
	b2sums = e1c9d0758f60b7d923c0afbb51d7628925fc02a4f395282c7d36742d517d349e583c778df9960d60e0b75173dfce53412f3db576a183d2518f56c369ffa48768

pkgname = binsec