# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting OPAM install the packages The following actions will be performed: - install bap-signatures 1.4.0 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/1: [bap-signatures.1.4.0: dl] [bap-signatures.1.4.0] found in external cache at /home/opam/opam-repository/cache Processing 1/1: <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/2: [bap-signatures: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/4.07.1/share/bap/" (CWD=/home/opam/.opam/4.07.1/.opam-switch/build/bap-signatures.1.4.0) Processing 2/2: [bap-signatures: cp sigs.zip] + /usr/bin/cp "sigs.zip" "/home/opam/.opam/4.07.1/share/bap/sigs.zip" (CWD=/home/opam/.opam/4.07.1/.opam-switch/build/bap-signatures.1.4.0) -> installed bap-signatures.1.4.0 Done. # Run eval $(opam env) to update the current shell environment