The file setlbin.tgz is a gzipped tar archive of the SETL binaries.
It can be unpacked like this:

  cd /usr/local/bin     # or perhaps $HOME/bin for testing
  tar xvfz setlbin.tgz  # or gzip -cd < setlbin.tgz | tar xvf -

The other files in this directory are small text files, the first two
indicating the environment that was used to compile the SETL system:

  gcc-info.txt  -  output of "gcc -dumpversion; gcc -dumpmachine"
  uname-a.txt   -  output of "uname -a"
  tar-tv.txt    -  listing of files in setlbin.tgz
  md5sum.txt    -  output of "md5sum" on the binaries
  cksum.txt     -  output of "cksum" on the binaries

Please contact bacon@cs.nyu.edu (David Bacon) with questions or remarks.

     dB