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

  They are valid, yet I got from the author a suggestion for a slight 
addition and change of order at the beginning of the procedure, whereby 
it looks like as follows, e.g. for Ubuntu 16.04 (Xenial):

(1) Install the author's public key for the Gezel packages

sudo apt-get install reprepro
sudo apt-key adv --keyserver pgp.mit.edu --recv-keys 092EF91B

(2) Add the following line to /etc/apt/sources.list

deb http://rijndael.ece.vt.edu/gezel2repo xenial main

(3) Install Gezel pakages

sudo apt-get update
sudo apt-get install gezel-base-xenial \
                     gezel-debug-xenial \
                     gezel-simitarm-xenial \
                     gezel-simulavr-xenial \
                     gezel-sources-xenial \
                     gezel-examples-xenial

(Please note: no whitespace should follow the "\" in the lines above.)

  This was fine for my installation on Ubuntu 16.04 last August. 
However, more recently, the key installation on Linux Mint 18 failed 
repeatedly, reporting an unspecified error from the key server. It is 
unclear whether the cause was a temporary problem with the key server, 
or a Mint problem, or something else. Should this problem occur, a fix 
may be that of installing the key locally, i.e. without asking the 
key server. To do this, you need to use the 092EF91B.txt file, found 
in the reserved area for the present edition of Sistemi dedicati, in 
the Gezel/install folder at URL: 

   http://moodle.dmi.unict.it/moodle/mod/resource/view.php?id=2362

Download this file and then, from the local directory where you got it, 
replace the second step under (1) above by: 

sudo apt-key add 092EF91B.txt

You may then check that you got the key correctly added by looking at 
the end of the list resulting from: 

sudo apt-key list

where the key, owned by Patrick Schaumont, should be reported together 
with a related subkey.

--

   Author: Giuseppe Scollo, University of Catania, DMI
   Version: 1
   Date: 14 October 2016