Gezel installation tips

  The installation procedure for the Gezel Debian packages on Ubuntu is 
described in the Installing GEZEL page of the GEZEL manual, at URL:

   http://rijndael.ece.vt.edu/gezel2/install.html

  However, installation of Debian packages on Ubuntu with apt fails, 
since the public key that is used to sign the packages expired. 
Installation may be carried out by following the Manual Installation 
instructions given in the same manual page. Here these are adapted for 
installation of GEZEL 2.5.15 (the latest release, very likely to be 
the last one) on Ubuntu 16.04 (xenial) for a 64-bit machine, as follows:
 
# download packages
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-base-xenial/gezel-base-xenial_2.5.15_amd64.deb
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-debug-xenial/gezel-debug-xenial_2.5.15_amd64.deb
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-examples-xenial/gezel-examples-xenial_2.5.15_amd64.deb
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-sources-xenial/gezel-sources-xenial_2.5.15_amd64.deb
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-simitarm-xenial/gezel-simitarm-xenial_2.5.15_amd64.deb
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-simulavr-xenial/gezel-simulavr-xenial_2.5.15_amd64.deb

# install
sudo dpkg -i gezel-base-xenial_2.5.15_amd64.deb
sudo dpkg -i gezel-debug-xenial_2.5.15_amd64.deb
sudo dpkg -i gezel-examples-xenial_2.5.15_amd64.deb
sudo dpkg -i gezel-sources-xenial_2.5.15_amd64.deb
sudo dpkg -i gezel-simitarm-xenial_2.5.15_amd64.deb
sudo dpkg -i gezel-simulavr-xenial_2.5.15_amd64.deb

  In a similar way one may install the 32-bit arm-linux-gcc cross-compiler 
package available from the same repository, that is made use of in some of 
the examples presented in the GEZEL textbook: 

# download package
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/a/arm-linux-gcc/arm-linux-gcc_3.2_i386.deb

# install
sudo dpkg -i arm-linux-gcc_3.2_i386.deb

--

   Author: Giuseppe Scollo, University of Catania, DMI
   Version: 1
   Date: 15 October 2017