Processed: Bug#995603 marked as pending in why3

To: Gianfranco Costamagna <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#995603 marked as pending in why3
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 26 Oct 2021 08:00:03 +0000
Message-id: <[🔎] handler.s.U995603.163523499824590.transcript@bugs.debian.org>
References: <6177b4b2ebdb0_3e32b275c3ae6f884786@godard.mail> <163321818961.17361.14320578557141975748.reportbug@valinor.angband.pl>

Processing control commands:

> tag -1 pending
Bug #995603 [src:why3] FTBFS: pdflatex fails with no message
Added tag(s) pending.

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

Reply to:

Prev by Date: [Git][ocaml-team/camlbz2] Pushed new tag debian/0.7.0-1
Next by Date: Processing of why3_1.3.3-2_source.changes
Previous by thread: [Git][ocaml-team/camlbz2] Pushed new tag debian/0.7.0-1
Next by thread: Processing of why3_1.3.3-2_source.changes
Index(es):
- Date
- Thread