2013/1/22 Roberto Bagnara <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 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
$ wget -q 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
$ 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@cs.unipr.it>"
...

To reproduce the last step, please see

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@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com