unzip is needed on Debian, plus say how to build jbmc on Windows#2496

Merged

kroening merged 1 commit intodevelopfrom

compilation-instructions2

Jul 2, 2018

Commits on Jun 30, 2018

unzip is needed on Debian, plus say how to build jbmc on Windows
Daniel Kroening
committed