Bug#1128515: Updating the coq Uploaders list

To: 1128515@bugs.debian.org
Subject: Bug#1128515: Updating the coq Uploaders list
From: bbaren@debian.org
Date: Sun, 22 Mar 2026 16:35:13 -0400
Message-id: <[🔎] 87bjgfk3ge.jfx@gmail.com>
Reply-to: bbaren@debian.org, 1128515@bugs.debian.org
In-reply-to: <aZiitqJhWsLD2Wu_@isildor2.loewenhoehle.ip>
References: <aZiitqJhWsLD2Wu_@isildor2.loewenhoehle.ip> <aZiitqJhWsLD2Wu_@isildor2.loewenhoehle.ip>

For reference, Stéphane removed me in commit e4880a08fa9c8b22ad0b4ffbda0ce053f2b56a72
(https://salsa.debian.org/ocaml-team/coq/-/commit/e4880a08fa9c8b22ad0b4ffbda0ce053f2b56a72).

Reply to:

Prev by Date: Bug#1131579: liquidsoap: FTBFS: Fatal error: exception Avutil.Error(Could not find OCaml value for 86124 in AV_CODEC_ID_CODEC_ID_TAB. Do you need to recompile the ffmpeg binding?)
Next by Date: Bug#1128515: Updating the mosh Uploaders list
Previous by thread: Bug#1131579: liquidsoap: FTBFS: Fatal error: exception Avutil.Error(Could not find OCaml value for 86124 in AV_CODEC_ID_CODEC_ID_TAB. Do you need to recompile the ffmpeg binding?)
Next by thread: Bug#1128515: Updating the mosh Uploaders list
Index(es):
- Date
- Thread