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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
