Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/binsec.git (read-only, click to copy)
Package Base:	binsec
Description:	Open-source toolset to help improve software security at the binary level
Upstream URL:	https://binsec.github.io
Licenses:	LGPL-2.1-or-later
Submitter:	meadow
Maintainer:	meadow
Last Packager:	meadow
Votes:	0
Popularity:	0.000000
First Submitted:	2024-03-18 16:41 (UTC)
Last Updated:	2024-09-13 21:28 (UTC)

bitwuzla^AUR (bitwuzla-git^AUR)
glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR, glibc-eac-bin^AUR, glibc-eac-roco^AUR)
gmp (gmp-hg^AUR)
ocaml
ocaml-curses^AUR
ocaml-grain_dypgen^AUR
ocaml-ocamlgraph^AUR (ocaml-ocamlgraph^AUR, ocaml-ocamlgraph-git^AUR)
ocaml-toml^AUR
ocaml-zarith
dune (make)
ocaml-menhir^AUR (make)
ocaml-unisim_archisec^AUR (make)
ocaml-ounit^AUR (check)
ocaml-qcheck^AUR (check)
bash (bash-devel-static-git^AUR, bash-devel-git^AUR, busybox-coreutils^AUR, bash-git^AUR) (optional) – make_coredump.sh
boolector^AUR (boolector-git^AUR) (optional) – Boolector SMT solver
cvc4 (optional) – CVC4 SMT solver
yices (optional) – Yices 2 SMT Solver
z3 (z3-git^AUR) (optional) – Z3 SMT solver

EDIT: Fixed

Until the following TODO gets fixed for all checkdepends build with --nocheck or add BUILDENV+=('!check') to PKGBUILD/makepkg.conf