[RFU 64bit] gmp / mpfr / mpc / ppl / isl / cloog-ppl / cloog

[Yaakov (Cygwin/X)]

On 2013-05-05 14:20, Achim Gratz wrote:
> I guess Yaakov should upload in case something is still wrong….

I uploaded gmp/mpfr/mpclib/isl/ppl, but there were issues with the cloog 
packages which I attempted to fix:

> release/cloog-ppl/libcloog-ppl-devel/libcloog-ppl-devel-0.15.11-2.tar.bz2

I uploaded this as libcloog-devel to match the 32bit package.

> release/cloog-ppl/libcloog-doc/libcloog-doc-0.15.11-2.tar.bz2
> release/cloog-ppl/libcloog-doc/setup.hint

I removed this per your request.

> release/cloog-isl/libcloog-doc/libcloog-doc-0.18.0-2.tar.bz2

I uploaded this as libcloog-isl-doc, but cloog.info is missing.


Yaakov