Ralf Treinen

this is fixed for a delimiter containing a variable, but it still fails when the delimiter contains a subshell ````sh cat

On Sun, Mar 10, 2019 at 01:47:57AM -0800, Nicolas Jeannerod wrote: > I just tried on my laptop (amd64) `make && make install` on all the tags that we have...

Hello, morbig 0.10.3 did compile in the past on debian ppc64el and ppc64 with ocaml 4.02, see https://buildd.debian.org/status/package.php?p=morbig&suite=experimental I cannot look into this more atm since I have a quite...

Could that be related to https://github.com/ocaml/ocaml/issues/7887 ? In that case one should try rebuilding morbig with ocaml 4.08 (which currently is in debian/experimental, we are waiting for an OK by...

Hello, I just tried it out with the debian package morbig 0.10-4-2 which has been compiled with ocaml 4.08, and unfortunately we still we have the same error.

This seems to be a bug of OCaml, I have reported it as ocaml/ocaml#9137.

Hello, the issue against menhir has been fixed. Does this mean that this bug can be closed ?

Yes that is a valid version, since about 10 years (when we added the "~" character to the syntax of version strings). Just to be sure that this is not...

a machine without dpkg, how is that possible? maybe availability of dpkg could be checked at startup of the tool. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Pôle...

The "\" character is not allowed in debian version strings. Aren't these "\" simply interpreted by the shell ? -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Pôle Preuves,...