Bug#566801: jeuclid-cli does not work on simple example

[Mathieu Malaterre]

Control: fixed -1 3.1.9-5

On Sun, May 28, 2023 at 5:39 PM Mathieu Malaterre <malat at debian.org> wrote:
>
> On Sun, May 28, 2023 at 3:21 PM Pierre Gruet <pgt at debian.org> wrote:
> >
> > Control: tags -1 moreinfo unreproducible
> >
> > Hi Matthieu,
> >
> > Doing some bug triaging...
> >
> > Does the issue you submitted still show up? On my machine with
> > jeuclid-cli/3.1.9-5, is does not.
>
> Can you post your exact command line ?

Nevermind this is included in my original report.

I cannot reproduce it today. Let's close this issue for good.

Thank you