[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Please give back picosat

Dear ia64 people,

The latest upload of the picosat package failed with the following error [1]:

/usr/lib/gcc/ia64-linux-gnu/4.4.5/cc1: error while loading shared libraries:
libmpfr.so.4: cannot open shared object file: No such file or directory

I believe this is rather due to a broken chroot than a bug in the package, or am
I missing something? I'd therefore ask to give back picosat on ia64.

Thanks a lot,

PS.: Please keep me CC'ed.

[1] https://buildd.debian.org/fetch.cgi?pkg=picosat&arch=ia64&ver=936-1&stamp=1281965041&file=log&as=raw

Attachment: pgp4s1Vermmr7.pgp
Description: PGP signature

Reply to: