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: