add ubuntu package to INSTALL
[snark14.git] / examples / b4 / run
1 snark14  b4.in