Re: Status of morbig?
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/
Reply to: