Processed: Bug#1051485 marked as pending in frama-c

To: Stéphane Glondu <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1051485 marked as pending in frama-c
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 09 Sep 2023 06:51:10 +0000
Message-id: <[🔎] handler.s.U1051485.16942421691748452.transcript@bugs.debian.org>
References: <64fc157523de4_25e219fb4245f1@godard.mail> <[🔎] 169418646377.4585.16158802535733376892.reportbug@localhost>

Processing control commands:

> tag -1 pending
Bug #1051485 [src:frama-c] frama-c FTBFS with why3 1.6.0
Added tag(s) pending.

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

Reply to:

References:
- Bug#1051485: frama-c FTBFS with why3 1.6.0
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Processed: frama-c: please update to v27.1 Cobalt
Next by Date: Bug#1051485: marked as done (frama-c FTBFS with why3 1.6.0)
Previous by thread: Bug#1051485: frama-c FTBFS with why3 1.6.0
Next by thread: Bug#1051485: marked as done (frama-c FTBFS with why3 1.6.0)
Index(es):
- Date
- Thread