Hello Roberto,
Thank you for your answers.
I'm still stuck with this issue... Here is what I get so far:
silvere@silvere-Linux:~/dev/src$ ll total 67596 drwxrwxr-x 2 silvere silvere 4096 Jan 24 12:12 ./ drwxrwxr-x 8 silvere silvere 4096 Jan 24 11:58 ../ -rw-r--r-- 1 silvere silvere 994 Feb 27 2011 BUGS -rw-r--r-- 1 silvere silvere 994 Feb 27 2011 BUGS.1 -rw-r--r-- 1 silvere silvere 438867 Feb 27 2011 ChangeLog -rw-r--r-- 1 silvere silvere 438867 Feb 27 2011 ChangeLog.1 -rw-rw-r-- 1 silvere silvere 2254208 Jan 24 11:54 ChangeLog_2001-2008 -rw-r--r-- 1 silvere silvere 3920132 Feb 27 2011 ChangeLog_2001-2008.1 -rw-r--r-- 1 silvere silvere 35147 Feb 27 2011 COPYING -rw-r--r-- 1 silvere silvere 35147 Feb 27 2011 COPYING.1 -rw-r--r-- 1 silvere silvere 19579 Feb 27 2011 CREDITS -rw-r--r-- 1 silvere silvere 19579 Feb 27 2011 CREDITS.1 -rw-r--r-- 1 silvere silvere 15578 Feb 27 2011 INSTALL -rw-r--r-- 1 silvere silvere 208 Feb 27 2011 MD5SUMS -rw-r--r-- 1 silvere silvere 72082 Feb 27 2011 NEWS -rw-rw-r-- 1 silvere silvere 7260 Jan 18 16:42 pgp_public_key -rw-rw-r-- 1 silvere silvere 7260 Jan 18 16:42 pgp_public_key.1 -rw-rw-r-- 1 silvere silvere 264704 Jan 24 11:52 ppl-0.11.2.tar.bz2 -rw-rw-r-- 1 silvere silvere 10093952 Jan 24 11:53 ppl-0.11.2.tar.bz2.1 -rw-r--r-- 1 silvere silvere 12348525 Feb 27 2011 ppl-0.11.2.tar.bz2.2 -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.bz2.sign -rw-r--r-- 1 silvere silvere 13741905 Feb 27 2011 ppl-0.11.2.tar.gz -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.gz.sign -rw-r--r-- 1 silvere silvere 10346588 Feb 27 2011 ppl-0.11.2.tar.lzma -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.lzma.sign -rw-r--r-- 1 silvere silvere 15001597 Feb 27 2011 ppl-0.11.2.zip -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.zip.sign -rw-r--r-- 1 silvere silvere 52050 Feb 27 2011 README -rw-r--r-- 1 silvere silvere 866 Feb 27 2011 README.alpha -rw-r--r-- 1 silvere silvere 658 Feb 27 2011 README.arm -rw-r--r-- 1 silvere silvere 20394 Feb 27 2011 README.configure -rw-r--r-- 1 silvere silvere 327 Feb 27 2011 README.solaris
silvere@silvere-Linux:~/dev/src$ gpg --import pgp_public_key.1 gpg: key 517D0F0E: "Linux Kernel Archives Verification Key < ftpadmin@kernel.org>" not changed gpg: key B5944392: "Roberto Bagnara bagnara@cs.unipr.it" not changed gpg: Total number processed: 2 gpg: unchanged: 2 silvere@silvere-Linux:~/dev/src$ md5sum --check MD5SUMS ppl-0.11.2.tar.bz2: FAILED ppl-0.11.2.tar.gz: FAILED ppl-0.11.2.tar.lzma: FAILED ppl-0.11.2.zip: FAILED md5sum: WARNING: 4 computed checksums did NOT match
I have also my own public key correctly setup. It's weird the gpg's key correspond and are correctly imported
I'm sorry to annoy you with that issue, but I really need those sources to build a tolochain with crosstools-ng. CrossTools dowanloads and install automatically ppl to build the crosscompiler. But it fails at that particular point since, it cannot extract ppl's sources. Thus, my idea was to do it manually.... Otherwise, do you know If I can access the unsigned sources somewhere ?
2013/1/22 Roberto Bagnara bagnara@cs.unipr.it
On 01/22/13 10:26, Albert Cluster wrote:
Hi Roberto, Thank you a lot for your advices.
I'm not familiar with signatures, but here is what I did (I tested that procedure on several other versions, but none worked...)
silvere@silvere-Linux:~/dev/**src$ wget http://www.cs.unipr.it/~** bagnara/pgp_public_key http://www.cs.unipr.it/~bagnara/pgp_public_key silvere@silvere-Linux:~/dev/**src$ ls MD5SUMS pgp_public_key ppl-0.11.2.tar.bz2 ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.lzma silvere@silvere-Linux:~/dev/**src$ gpg --import pgp_public_key gpg: key 517D0F0E: "Linux Kernel Archives Verification Key < ftpadmin@kernel.org mailto:ftpadmin@kernel.org>" not changed gpg: key B5944392: "Roberto Bagnara <bagnara@cs.unipr.it mailto: bagnara@cs.unipr.it>" not changed
gpg: Total number processed: 2 gpg: unchanged: 2 silvere@silvere-Linux:~/dev/**src$ gpg --verify ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.bz2 gpg: Signature made Sun 27 Feb 2011 09:57:07 GMT using DSA key ID B5944392 gpg: BAD signature from "Roberto Bagnara <bagnara@cs.unipr.it mailto: bagnara@cs.unipr.it>"
silvere@silvere-Linux:~/dev/**src$
What do you think I did wrong ?
Nothing, as far as I can see. But please let me have also the output of `ls -l' and (after downloading the MD5SUMS) the result of `md5sum --check MD5SUMS'. Here is what I get:
$ wget -q ftp://ftp.cs.unipr.it/pub/ppl/**releases/0.11.2/ppl-0.11.2.** tar.bz2 ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2 $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/**releases/0.11.2/MD5SUMSftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/MD5SUMS $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/**releases/0.11.2/ppl-0.11.2.** tar.bz2.signftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2.sign $ ls -l total 12068 -rw-rw-r-- 1 roberto roberto 208 Jan 22 11:51 MD5SUMS -rw-rw-r-- 1 roberto roberto 12348525 Jan 22 11:49 ppl-0.11.2.tar.bz2 -rw-rw-r-- 1 roberto roberto 198 Jan 22 11:52 ppl-0.11.2.tar.bz2.sign $ md5sum --check MD5SUMS ppl-0.11.2.tar.bz2: OK md5sum: ppl-0.11.2.tar.gz: No such file or directory ppl-0.11.2.tar.gz: FAILED open or read md5sum: ppl-0.11.2.tar.lzma: No such file or directory ppl-0.11.2.tar.lzma: FAILED open or read md5sum: ppl-0.11.2.zip: No such file or directory ppl-0.11.2.zip: FAILED open or read
md5sum: WARNING: 3 listed files could not be read $ gpg --verify ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.bz2 gpg: Signature made Sun Feb 27 10:57:07 2011 CET using DSA key ID B5944392
gpg: Good signature from "Roberto Bagnara bagnara@cs.unipr.it" ...
Kind regards,
Roberto
2013/1/22 Roberto Bagnara <bagnara@cs.unipr.it <mailto:
bagnara@cs.unipr.it>>
Hello Albert. On 01/21/13 18:54, Albert Cluster wrote: I know it's not particularly a development issue, but I'm tryingto download ppl sources to compile a cross-compilation tool chain but What ever the source I download from the ftp server, i'm not able to extract the source. It says that the file is corrupted.
Do you have any idea on how I could solve that issue ? We need more details about what you observe. Here are the result of a small experiment performed just a few minutes ago: $ mkdir /tmp/test $ cd /tmp/test/ $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/**__releases/LATEST/ppl-1.0.tar.**__bz2ftp://ftp.cs.unipr.it/pub/ppl/__releases/LATEST/ppl-1.0.tar.__bz2< ftp://ftp.cs.unipr.it/pub/**ppl/releases/LATEST/ppl-1.0.**tar.bz2ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2
$ wget -q ftp://ftp.cs.unipr.it/pub/ppl/**__releases/LATEST/MD5SUMS<ftp://ftp.cs.unipr.it/pub/ppl/__releases/LATEST/MD5SUMS><ftp://ftp.cs.unipr.it/pub/**ppl/releases/LATEST/MD5SUMSftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/MD5SUMS
$ md5sum --check MD5SUMS ppl-1.0.tar.bz2: OK md5sum: ppl-1.0.tar.gz: No such file or directory ppl-1.0.tar.gz: FAILED open or read md5sum: ppl-1.0.tar.xz: No such file or directory ppl-1.0.tar.xz: FAILED open or read md5sum: ppl-1.0.zip: No such file or directory ppl-1.0.zip: FAILED open or read md5sum: WARNING: 3 listed files could not be read $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/**__releases/LATEST/ppl-1.0.tar.**__bz2.signftp://ftp.cs.unipr.it/pub/ppl/__releases/LATEST/ppl-1.0.tar.__bz2.sign< ftp://ftp.cs.unipr.it/pub/**ppl/releases/LATEST/ppl-1.0.**tar.bz2.signftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2.sign
$ ls -l total 15056 -rw-rw-r-- 1 roberto roberto 194 Jan 22 08:43 MD5SUMS -rw-rw-r-- 1 roberto roberto 15405300 Jan 22 08:43 ppl-1.0.tar.bz2 -rw-rw-r-- 1 roberto roberto 198 Jan 22 08:44ppl-1.0.tar.bz2.sign $ gpg --verify ppl-1.0.tar.bz2.sign ppl-1.0.tar.bz2 gpg: Signature made Thu Jun 28 13:02:51 2012 CEST using DSA key ID B5944392 gpg: Good signature from "Roberto Bagnara <bagnara@cs.unipr.itmailto: bagnara@cs.unipr.it>"
... To reproduce the last step, please see http://bugseng.com/products/__**ppl/download#verification<http://bugseng.com/products/__ppl/download#verification><http://bugseng.com/products/**ppl/download#verificationhttp://bugseng.com/products/ppl/download#verification
Of course, this only tested the bzip2 tarball. Which is the one you found corrupted? Have a nice day, and thank you for that software. Thanks to you for the report. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it> BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@__bugse**ng.com<http://bugseng.com><mailto:roberto.bagnara@**bugseng.com roberto.bagnara@bugseng.com>
______________________________**_________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/**mailman/listinfo/ppl-develhttp://www.cs.unipr.it/mailman/listinfo/ppl-devel
-- Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@**bugseng.comroberto.bagnara@bugseng.com