shell.nix: add unzip to buildInputs

dapphub / klab

K framework proof explorer & smart contract specification format

GNU Affero General Public License v3.0

123 stars 36 forks source link

Closed asymmetric closed 4 years ago

asymmetric commented 4 years ago

Used in klab-fetch.

We could also use atool, which replaces zip and unzip.

d-xo commented 4 years ago

lgtm :sparkling_heart: