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, Michael
Attachment:
pgpFD_hUcJL3i.pgp
Description: PGP signature