<html><body><div style="color:#000; background-color:#fff; font-family:verdana, helvetica, sans-serif;font-size:10pt"><div>Hello.</div><div><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">In my case, version 1.12 (ii  wget 1.12-2.1  amd64 ) of wget works just fine. <br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">Version 1.13 (ii  wget  1.13.4-3  amd64  ) segfaults.</div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">If we specify protocol as
 either TLSv1 or auto wget segfaults. After trying gnutls-cli command a couple of times, something curious happens when we run wget again:</div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">$wget --secure-protocol=auto https://sede.dgt.gob.es<br>--2013-05-23 17:33:47--  https://sede.dgt.gob.es/<br>Resolviendo sede.dgt.gob.es (sede.dgt.gob.es)... 213.4.59.219<br>Conectando con sede.dgt.gob.es (sede.dgt.gob.es)[213.4.59.219]:443... conectado.<br><span style="font-weight: bold;">GnuTLS: Decryption has failed.<br>No se pudo establecer la conexión SSL.</span><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color:
 transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">$wget --secure-protocol=auto https://sede.dgt.gob.es<br>--2013-05-23 17:33:57--  https://sede.dgt.gob.es/<br>Resolviendo sede.dgt.gob.es (sede.dgt.gob.es)... 213.4.59.219<br>Conectando con sede.dgt.gob.es (sede.dgt.gob.es)[213.4.59.219]:443... conectado.<br><span style="font-weight: bold;">Violación de segmento (segmentation fault in Spanish)<br></span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">As you can see the first run produces an error, the second run  (and succesives) produces the
 segfault.</div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">If we specify protocol as either SSLv2 or SSLv3 program fails with the next error message:</div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><span style="font-weight: bold;">GnuTLS: GnuTLS internal error.</span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style:
 normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">Regards.</div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">Francisco<br></div></div></body></html>