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

Re: Please give back picosat

Hi all,

> 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 for the info, wasn't too sure and for other architectures
debian-<arch>@l.d.o seemed to be the quicker option. This kind of seems to hold
true here as well: Seemingly no action from the ia64 buildd admins!? Would,
however is in power, mind to take some action?

Thanks a lot,

Attachment: pgpFD_hUcJL3i.pgp
Description: PGP signature

Reply to: