Hello Roberto,<br><br>Thank you for your answers.<br><br>I'm still stuck with this issue...<br>Here is what I get so far:<br><br>silvere@silvere-Linux:~/dev/src$ ll<br>total 67596<br>drwxrwxr-x 2 silvere silvere 4096 Jan 24 12:12 ./<br>
drwxrwxr-x 8 silvere silvere 4096 Jan 24 11:58 ../<br>-rw-r--r-- 1 silvere silvere 994 Feb 27 2011 BUGS<br>-rw-r--r-- 1 silvere silvere 994 Feb 27 2011 BUGS.1<br>-rw-r--r-- 1 silvere silvere 438867 Feb 27 2011 ChangeLog<br>
-rw-r--r-- 1 silvere silvere 438867 Feb 27 2011 ChangeLog.1<br>-rw-rw-r-- 1 silvere silvere 2254208 Jan 24 11:54 ChangeLog_2001-2008<br>-rw-r--r-- 1 silvere silvere 3920132 Feb 27 2011 ChangeLog_2001-2008.1<br>-rw-r--r-- 1 silvere silvere 35147 Feb 27 2011 COPYING<br>
-rw-r--r-- 1 silvere silvere 35147 Feb 27 2011 COPYING.1<br>-rw-r--r-- 1 silvere silvere 19579 Feb 27 2011 CREDITS<br>-rw-r--r-- 1 silvere silvere 19579 Feb 27 2011 CREDITS.1<br>-rw-r--r-- 1 silvere silvere 15578 Feb 27 2011 INSTALL<br>
-rw-r--r-- 1 silvere silvere 208 Feb 27 2011 MD5SUMS<br>-rw-r--r-- 1 silvere silvere 72082 Feb 27 2011 NEWS<br>-rw-rw-r-- 1 silvere silvere 7260 Jan 18 16:42 pgp_public_key<br>-rw-rw-r-- 1 silvere silvere 7260 Jan 18 16:42 pgp_public_key.1<br>
-rw-rw-r-- 1 silvere silvere 264704 Jan 24 11:52 ppl-0.11.2.tar.bz2<br>-rw-rw-r-- 1 silvere silvere 10093952 Jan 24 11:53 ppl-0.11.2.tar.bz2.1<br>-rw-r--r-- 1 silvere silvere 12348525 Feb 27 2011 ppl-0.11.2.tar.bz2.2<br>
-rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.bz2.sign<br>-rw-r--r-- 1 silvere silvere 13741905 Feb 27 2011 ppl-0.11.2.tar.gz<br>-rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.gz.sign<br>
-rw-r--r-- 1 silvere silvere 10346588 Feb 27 2011 ppl-0.11.2.tar.lzma<br>-rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.lzma.sign<br>-rw-r--r-- 1 silvere silvere 15001597 Feb 27 2011 ppl-0.11.2.zip<br>
-rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.zip.sign<br>-rw-r--r-- 1 silvere silvere 52050 Feb 27 2011 README<br>-rw-r--r-- 1 silvere silvere 866 Feb 27 2011 README.alpha<br>-rw-r--r-- 1 silvere silvere 658 Feb 27 2011 README.arm<br>
-rw-r--r-- 1 silvere silvere 20394 Feb 27 2011 README.configure<br>-rw-r--r-- 1 silvere silvere 327 Feb 27 2011 README.solaris<br><br>silvere@silvere-Linux:~/dev/src$ gpg --import pgp_public_key.1<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$ md5sum --check MD5SUMS <br>
ppl-0.11.2.tar.bz2: FAILED<br>ppl-0.11.2.tar.gz: FAILED<br>ppl-0.11.2.tar.lzma: FAILED<br>ppl-0.11.2.zip: FAILED<br>md5sum: WARNING: 4 computed checksums did NOT match<br><br>I have also my own public key correctly setup. It's weird the gpg's key correspond and are correctly imported<br>
<br>I'm sorry to annoy you with that issue, but I really need those sources to build a tolochain with crosstools-ng.<br>CrossTools dowanloads and install automatically ppl to build the crosscompiler. But it fails at that particular point since, it cannot extract ppl's sources.<br>
Thus, my idea was to do it manually.... Otherwise, do you know If I can access the unsigned sources somewhere ?<br><br> <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"><div class="im">On 01/22/13 10:26, Albert Cluster wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
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/<u></u>src$ wget <a href="http://www.cs.unipr.it/~bagnara/pgp_public_key" target="_blank">http://www.cs.unipr.it/~<u></u>bagnara/pgp_public_key</a><br>
silvere@silvere-Linux:~/dev/<u></u>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/<u></u>src$ gpg --import pgp_public_key<br></div>
gpg: key 517D0F0E: "Linux Kernel Archives Verification Key <<a href="mailto:ftpadmin@kernel.org" target="_blank">ftpadmin@kernel.org</a> <mailto:<a href="mailto:ftpadmin@kernel.org" target="_blank">ftpadmin@kernel.org</a>>>" not changed<br>
gpg: key B5944392: "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>>" not changed<div class="im">
<br>
gpg: Total number processed: 2<br>
gpg: unchanged: 2<br>
silvere@silvere-Linux:~/dev/<u></u>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></div>
gpg: BAD signature from "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>>"<div class="im">
<br>
silvere@silvere-Linux:~/dev/<u></u>src$<br>
<br>
What do you think I did wrong ?<br>
</div></blockquote>
<br>
Nothing, as far as I can see. But please let me have also<br>
the output of `ls -l' and (after downloading the MD5SUMS)<br>
the result of `md5sum --check MD5SUMS'. Here is what I get:<br>
<br>
$ wget -q <a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2" target="_blank">ftp://ftp.cs.unipr.it/pub/ppl/<u></u>releases/0.11.2/ppl-0.11.2.<u></u>tar.bz2</a><br>
$ wget -q <a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/MD5SUMS" target="_blank">ftp://ftp.cs.unipr.it/pub/ppl/<u></u>releases/0.11.2/MD5SUMS</a><br>
$ wget -q <a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2.sign" target="_blank">ftp://ftp.cs.unipr.it/pub/ppl/<u></u>releases/0.11.2/ppl-0.11.2.<u></u>tar.bz2.sign</a><br>
$ ls -l<br>
total 12068<br>
-rw-rw-r-- 1 roberto roberto 208 Jan 22 11:51 MD5SUMS<br>
-rw-rw-r-- 1 roberto roberto 12348525 Jan 22 11:49 ppl-0.11.2.tar.bz2<br>
-rw-rw-r-- 1 roberto roberto 198 Jan 22 11:52 ppl-0.11.2.tar.bz2.sign<br>
$ md5sum --check MD5SUMS<br>
ppl-0.11.2.tar.bz2: OK<br>
md5sum: ppl-0.11.2.tar.gz: No such file or directory<br>
ppl-0.11.2.tar.gz: FAILED open or read<br>
md5sum: ppl-0.11.2.tar.lzma: No such file or directory<br>
ppl-0.11.2.tar.lzma: FAILED open or read<br>
md5sum: ppl-0.11.2.zip: No such file or directory<br>
ppl-0.11.2.zip: FAILED open or read<div class="im"><br>
md5sum: WARNING: 3 listed files could not be read<br></div><div class="im">
$ gpg --verify ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.bz2<br></div>
gpg: Signature made Sun Feb 27 10:57:07 2011 CET using DSA key ID B5944392<div class="im"><br>
gpg: Good signature from "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>"<br>
...<br>
<br></div>
Kind regards,<br>
<br>
Roberto<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2013/1/22 Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>><div class="im"><br>
<br>
<br>
Hello Albert.<br>
<br>
<br>
On 01/21/13 18:54, Albert Cluster wrote:<br>
<br>
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>
<br>
<br>
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></div>
$ 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> <<a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2" target="_blank">ftp://ftp.cs.unipr.it/pub/<u></u>ppl/releases/LATEST/ppl-1.0.<u></u>tar.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> <<a href="ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/MD5SUMS" target="_blank">ftp://ftp.cs.unipr.it/pub/<u></u>ppl/releases/LATEST/MD5SUMS</a>><div class="im">
<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></div>
$ 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> <<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/<u></u>ppl/releases/LATEST/ppl-1.0.<u></u>tar.bz2.sign</a>><div class="im">
<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></div>
gpg: Good signature from "Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>>"<div class="im">
<br>
...<br>
<br>
To reproduce the last step, please see<br>
<br></div>
<a href="http://bugseng.com/products/__ppl/download#verification" target="_blank">http://bugseng.com/products/__<u></u>ppl/download#verification</a> <<a href="http://bugseng.com/products/ppl/download#verification" target="_blank">http://bugseng.com/products/<u></u>ppl/download#verification</a>><div class="im">
<br>
<br>
Of course, this only tested the bzip2 tarball. Which is the one<br>
you found corrupted?<br>
<br>
<br>
Have a nice day, and thank you for that software.<br>
<br>
<br>
Thanks to you for the report.<br>
Kind regards,<br>
<br>
Roberto<br>
<br>
--<br>
Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br></div>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>><div class="im"><br>
BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br></div>
mailto:<a href="mailto:roberto.bagnara@" target="_blank">roberto.bagnara@</a>__<a href="http://bugseng.com" target="_blank">bugse<u></u>ng.com</a> <mailto:<a href="mailto:roberto.bagnara@bugseng.com" target="_blank">roberto.bagnara@<u></u>bugseng.com</a>><br>
<br>
<br>
<br>
<br>
______________________________<u></u>_________________<br>
PPL-devel mailing list<br>
<a href="mailto:PPL-devel@cs.unipr.it" target="_blank">PPL-devel@cs.unipr.it</a><br>
<a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel" target="_blank">http://www.cs.unipr.it/<u></u>mailman/listinfo/ppl-devel</a><br>
<br>
</blockquote><div class="HOEnZb"><div class="h5">
<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>
</div></div></blockquote></div><br>