Processed: Bug#999651 marked as pending in coq

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#999651 marked as pending in coq
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 15 Nov 2021 06:03:07 +0000
Message-id: <[🔎] handler.s.U999651.16369560746146.transcript@bugs.debian.org>
References: <[🔎] 6191f7a6b6683_3d02b27fe008420938b3@godard.mail> <[🔎] 163688332562.16137.13387612576856492502.reportbug@localhost>

Processing control commands:

> tag -1 pending
Bug #999651 [src:coq] coq FTBFS on bytecode architectures
Added tag(s) pending.

-- 
999651: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=999651
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#999651: marked as pending in coq
  - From: Julien Puydt <noreply@salsa.debian.org>
- Bug#999651: coq FTBFS on bytecode architectures
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Bug#999651: coq FTBFS on bytecode architectures
Next by Date: Bug#999651: marked as pending in coq
Previous by thread: Bug#999651: coq FTBFS on bytecode architectures
Next by thread: Bug#999651: marked as pending in coq
Index(es):
- Date
- Thread