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

Re: Please give back picosat

On Mon, Aug 16, 2010 at 06:02:07PM +0200, Michael Tautschnig wrote:
> 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.

give-back requests should go to <arch>@buildd.d.o (cc'd)

> Thanks a lot,
> Michael
> 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

dann frazier

Reply to: