Hello, On Fri, Aug 30, 2019 at 09:02:26AM +0200, Stéphane Glondu wrote:
> autopkgtests of morbig fail in unstable (0.9.1-2) at the moment, > blocking menhir. > > The fix is easy: "-lm -ldl" should be a the end of the command compiling > dump. I was going to fix that, but I realized that there is also a > version in experimental (0.10.3-2) that is in git master. > > What are your plans concerning morbig? If this blocks menhir then please go ahead with an upload of 0.9.1-2. I probably won't have the time this weekend, so please go ahead. One might also upload the version 0.10.3-2 to unstable but then one has to upload at the same time morsmall, otherwise we will get test failures there. The plan was to do a new release upstream but that was delayed by a issue on ppc64el. Any advise on this would be welcome : https://github.com/colis-anr/morbig/issues/112 -Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.irif.fr/~treinen/
