Processed: Bug#1093827 marked as pending in why3

To: Stéphane Glondu <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1093827 marked as pending in why3
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 02 Feb 2025 06:51:02 +0000
Message-id: <[🔎] handler.s.U1093827.17384789471722723.transcript@bugs.debian.org>
References: <679f15615d988_6dd2105499478@godard.mail> <20250123063158.GA1912385@subdivi.de>

Processing control commands:

> tag -1 pending
Bug #1093827 [why3] why3 has an undeclared file conflict on /usr/lib/ocaml/why3
Added tag(s) pending.

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

Reply to:

Prev by Date: Processing of tophide_1.1.0-1_source.changes
Next by Date: [Git][ocaml-team/why3][upstream] New upstream version 1.8.0
Previous by thread: Processing of tophide_1.1.0-1_source.changes
Next by thread: [Git][ocaml-team/why3][upstream] New upstream version 1.8.0
Index(es):
- Date
- Thread