[PPL-devel] Extracting the source files

Roberto Bagnara bagnara at cs.unipr.it
Tue Jan 22 11:55:40 CET 2013 

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 at silvere-Linux:~/dev/src$ wget http://www.cs.unipr.it/~bagnara/pgp_public_key
> silvere at 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 at silvere-Linux:~/dev/src$ gpg --import pgp_public_key
> gpg: key 517D0F0E: "Linux Kernel Archives Verification Key <ftpadmin at kernel.org <mailto:ftpadmin at kernel.org>>" not changed
> gpg: key B5944392: "Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>" not changed
> gpg: Total number processed: 2
> gpg:              unchanged: 2
> silvere at 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 at cs.unipr.it <mailto:bagnara at cs.unipr.it>>"
> silvere at 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
$ wget -q ftp://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.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 at cs.unipr.it>"
...

Kind regards,

    Roberto

> 2013/1/22 Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at 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 trying to
>         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.__bz2 <ftp://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>
>     $ 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.sign <ftp://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:44 ppl-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 at cs.unipr.it <mailto:bagnara at cs.unipr.it>>"
>     ...
>
>     To reproduce the last step, please see
>
>     http://bugseng.com/products/__ppl/download#verification <http://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 at cs.unipr.it <mailto:bagnara at cs.unipr.it>
>                                    BUGSENG srl - http://bugseng.com
>                                    mailto:roberto.bagnara at __bugseng.com <mailto:roberto.bagnara at bugseng.com>
>
>
>
>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>


-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com

More information about the PPL-devel mailing list