Hi Roberto,<br>Thank you a lot for your advices. <br><br>I'm not familiar with signatures, but here is what I did (I tested that procedure on several other versions, but none worked...)<br><br>silvere@silvere-Linux:~/dev/src$ wget <a href="http://www.cs.unipr.it/~bagnara/pgp_public_key">http://www.cs.unipr.it/~bagnara/pgp_public_key</a><br>
silvere@silvere-Linux:~/dev/src$ ls<br>MD5SUMS pgp_public_key ppl-0.11.2.tar.bz2 ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.lzma<br>silvere@silvere-Linux:~/dev/src$ gpg --import pgp_public_key <br>gpg: key 517D0F0E: "Linux Kernel Archives Verification Key <<a href="mailto:ftpadmin@kernel.org">ftpadmin@kernel.org</a>>" not changed<br>
gpg: key B5944392: "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>" not changed<br>gpg: Total number processed: 2<br>gpg: unchanged: 2<br>silvere@silvere-Linux:~/dev/src$ gpg --verify ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.bz2<br>
gpg: Signature made Sun 27 Feb 2011 09:57:07 GMT using DSA key ID B5944392<br>gpg: BAD signature from "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>"<br>silvere@silvere-Linux:~/dev/src$ <br>
<br>What do you think I did wrong ?<br><br>Thank you very much,<br><br>Albert.<br><br><div class="gmail_quote">2013/1/22 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Hello Albert.<div class="im"><br>
<br>
On 01/21/13 18:54, Albert Cluster wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I know it's not particularly a development issue, but I'm trying to<br>
download ppl sources to compile a cross-compilation tool chain but<br>
What ever the source I download from the ftp server, i'm not able to<br>
extract the source. It says that the file is corrupted.<br>
<br>
Do you have any idea on how I could solve that issue ?<br>
</blockquote>
<br></div>
We need more details about what you observe. Here are the<br>
result of a small experiment performed just a few minutes ago:<br>
<br>
$ mkdir /tmp/test<br>
$ cd /tmp/test/<br>
$ wget -q <a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2" target="_blank">ftp://ftp.cs.unipr.it/pub/ppl/<u></u>releases/LATEST/ppl-1.0.tar.<u></u>bz2</a><br>
$ wget -q <a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/MD5SUMS" target="_blank">ftp://ftp.cs.unipr.it/pub/ppl/<u></u>releases/LATEST/MD5SUMS</a><br>
$ md5sum --check MD5SUMS<br>
ppl-1.0.tar.bz2: OK<br>
md5sum: ppl-1.0.tar.gz: No such file or directory<br>
ppl-1.0.tar.gz: FAILED open or read<br>
md5sum: ppl-1.0.tar.xz: No such file or directory<br>
ppl-1.0.tar.xz: FAILED open or read<br>
md5sum: ppl-1.0.zip: No such file or directory<br>
ppl-1.0.zip: FAILED open or read<br>
md5sum: WARNING: 3 listed files could not be read<br>
$ wget -q <a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2.sign" target="_blank">ftp://ftp.cs.unipr.it/pub/ppl/<u></u>releases/LATEST/ppl-1.0.tar.<u></u>bz2.sign</a><br>
$ ls -l<br>
total 15056<br>
-rw-rw-r-- 1 roberto roberto 194 Jan 22 08:43 MD5SUMS<br>
-rw-rw-r-- 1 roberto roberto 15405300 Jan 22 08:43 ppl-1.0.tar.bz2<br>
-rw-rw-r-- 1 roberto roberto 198 Jan 22 08:44 ppl-1.0.tar.bz2.sign<br>
$ gpg --verify ppl-1.0.tar.bz2.sign ppl-1.0.tar.bz2<br>
gpg: Signature made Thu Jun 28 13:02:51 2012 CEST using DSA key ID B5944392<br>
gpg: Good signature from "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>"<br>
...<br>
<br>
To reproduce the last step, please see<br>
<br>
<a href="http://bugseng.com/products/ppl/download#verification" target="_blank">http://bugseng.com/products/<u></u>ppl/download#verification</a><br>
<br>
Of course, this only tested the bzip2 tarball. Which is the one<br>
you found corrupted?<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Have a nice day, and thank you for that software.<br>
</blockquote>
<br></div>
Thanks to you for the report.<br>
Kind regards,<br>
<br>
Roberto<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br>
BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
mailto:<a href="mailto:roberto.bagnara@bugseng.com" target="_blank">roberto.bagnara@<u></u>bugseng.com</a><br>
</font></span></blockquote></div><br>