ctf-tools/manticore/install-root-debian
2017-05-01 16:30:05 +02:00

5 lines
60 B
Bash

#!/bin/bash -ex
set -eu -o pipefail
apt-get -y install z3