Bug#1056062: About Debian bug #1056062 (coq package)

To: Jeremy Bícha <jeremy.bicha@canonical.com>
Cc: 1056062@bugs.debian.org
Subject: Bug#1056062: About Debian bug #1056062 (coq package)
From: julien.puydt@gmail.com
Date: Sat, 20 Jan 2024 20:01:59 +0100
Message-id: <[🔎] 931bee4acf5a52862835ced656a1d960105933bd.camel@gmail.com>
Reply-to: julien.puydt@gmail.com, 1056062@bugs.debian.org
References: <6b704786-2a2d-4514-b4ae-5fe06176d2bf@debian.org>

Hi,

can you tell me why you declared coq package's version 8.18.0+dfsg-1 is
still affected by the issue? Your message was less than informative!

Cheers,

J.Puydt

Reply to:

Prev by Date: ocaml-duppy_0.9.3-2_source.changes ACCEPTED into unstable
Next by Date: Processing of coquelicot_3.4.1-1_source.changes
Previous by thread: ocaml-duppy_0.9.3-2_source.changes ACCEPTED into unstable
Next by thread: Bug#1056062: About Debian bug #1056062 (coq package)
Index(es):
- Date
- Thread