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. 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
Attachment:
pgp4s1Vermmr7.pgp
Description: PGP signature