Quoting Samuel Mimram <samuel.mimram@ens-lyon.org>: > Hello, > > [Please CC me on reply] > > I have some problems with the compilation of coq on 68k: BTW, speaking about coq, could you please change the section of the packages, so we don't have those "overrides disparities" messages anymore. Thanks. -- Jérôme Marant