Re: Error while loading shared libraries: unexpected PLT reloc type 0x00
Quoting Samuel Mimram <samuel.mimram@ens-lyon.org>:
> Hello,
>
> > BTW, speaking about coq, could you please change the section of the
> > packages, so we don't have those "overrides disparities" messages
> > anymore.
> > Thanks.
>
> Well, I have changed the section on purpose. I think it was proposed by
> Ralf Treinen since I put the doc in section Apps/Math and I agreed. I
> have already sent a mail to ftp-masters (this list was CCed) explaining
> why I have changed the section and the override should be edited soon.
> Please just ignore those messages until then.
Alright. Thanks!
--
Jérôme Marant
Reply to: