Updating Ekrhyper
Updating EProver to 1.8
Updating Compiz
Updating Sodium cryptography library to 0.4.3
Updating ASDF to 3.0.2.4
Updating CL-Launch to 3.22.1
Updating luarocks to 2.1.0
Updating XBoard to 4.7.2
Updating Wine to 1.7.4
Updating ZPAQ to 642
Updating lrzip to 0.616
Updating GlusterFS to 3.4.1
Making Cuneiform package export version
Fix license attribute in ttysnoop
Allow non-SSL connections to vsftpd by default to let tests not specify certificate