add ubuntu package to INSTALL
[snark14.git] / examples / b12 /
drwxr-xr-x   ..
-rw-r--r-- 468 README
-rw-r--r-- 2252 b12.in
-rw-r--r-- 26882 b12r-centos-orig.out
-rw-r--r-- 26872 b12r-ubuntu201710.out
-rw-r--r-- 26872 b12r.out
-rwxr-xr-x 15 run